Sciweavers

30267 search results - page 158 / 6054
» Process Modelling Languages
Sort
View
ENTCS
2007
96views more  ENTCS 2007»
15 years 5 months ago
Cryptographic Pattern Matching
We construct a language extension for process calculi for modelling the exchange of cryptographically composed data. More specifically, we devise a succinct syntax for terms and ...
Christoffer Rosenkilde Nielsen, Flemming Nielson, ...
ISOOMS
1994
15 years 9 months ago
A Seamless Model for Object-Oriented Systems Development
Existing approaches to object-oriented system development are poorly integrated in several ways. This inadequate integration is ubiquitous and causes numerous inefficiencies in th...
Stephen W. Liddle, David W. Embley, Scott N. Woodf...
MODELS
2009
Springer
15 years 11 months ago
Catch Me If You Can - Debugging Support for Model Transformations
Abstract. Model-Driven Engineering places models as first-class artifacts throughout the software lifecycle requiring the availability of proper transformation languages. Although...
Johannes Schönböck, Gerti Kappel, Angeli...
JCP
2008
128views more  JCP 2008»
15 years 5 months ago
Life Cycle for Change Management in Business Processes using Semantic Technologies
In a fast changing market environment the task of reducing the downtime for change management of business processes has high importance. Ensuring that IT reflects the updated busin...
Uttam Kumar Tripathi, Knut Hinkelmann, Daniela Fel...