484 search results - page 84 / 97 » Semantics of Metamodels in UML |
AGTIVE
2007
Springer
14 years 1 months ago
2007
Springer
On the basis of a case-study, we demonstrate the usefulness of topology invariants for model-driven systems development. Considering a graph grammar semantics for a relevant fragme...
APSEC
2004
IEEE
14 years 1 months ago
2004
IEEE
The notion of partial and evolutionary specification has gained attention both in research and industry in the last years. While many people regard this just as a process issue, w...
FASE
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. This paper presents a systematic consideration of the major issues involved in translation of executable design level software specification languages to directly model-c...
ER
2008
Springer
13 years 11 months ago
2008
Springer
It is common to find that the definition or common usage of a data modelling language causes there to be restrictions placed on the evolution of data values that are associated wit...
FMCO
2008
Springer
13 years 11 months ago
2008
Springer
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...