73 search results - page 7 / 15 » Structured Axiomatic Semantics for UML Models |
ECOOP
2000
Springer
13 years 11 months ago
2000
Springer
The Unified Modeling Language (UML) currently proposes a mechanism to model recurrent design structures: the parameterized collaborations. The main goal of this mechanism is to mo...
LICS
2009
IEEE
14 years 1 months ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...
ISORC
2000
IEEE
13 years 11 months ago
2000
IEEE
The decomposition of large systems into parts is a general principle of software design. Even more, in the scope of distributed systems a partition of the whole system into distri...
UML
2005
Springer
14 years 5 days ago
2005
Springer
Abstract. Nowadays, object-oriented meta-languages such as MOF (MetaObject Facility) are increasingly used to specify domain-specific languages in the model-driven engineering comm...
ECSA
2008
Springer
13 years 8 months ago
2008
Springer
Architectural patterns have an impact on both the structure and the behavior of a system at the architecture design level. However, it is challenging to model patterns' behavi...