73 search results - page 11 / 15 » Structured Axiomatic Semantics for UML Models |
FASE
2008
Springer
14 years 11 months ago
2008
Springer
With the success of model-driven development as well as component-based and service-oriented systems, models of software architecture are key artefacts in the development process. ...
SIGSOFT
2007
ACM
15 years 10 months ago
2007
ACM
Message Sequence Charts (MSCs) are a widely used visual formalism for scenario-based specifications of distributed reactive systems. In its conventional usage, an MSC captures an ...
121
click to vote
VVEIS
2007
14 years 10 months ago
2007
Logic programming has been successfully used for reasoning about various kinds of models. However, in the area of business-process modeling it has not yet gained the attention it d...
JISBD
2003
14 years 11 months ago
2003
: A pattern identifies a problem and provides the specification of a generic solution to that problem. Conceptual modelling patterns are aimed at representing a specific structure ...
ER
2007
Springer
15 years 3 months ago
2007
Springer
Model transformations are playing a vital role in the field of model engineering. However, for non-trivial transformation issues most approaches require imperative definitions, w...