17th IEEE International Workshop on Rapid System Prototyping (RSP'06) Principles for System Prototype and Verification Using Metamodel Based Transformations Chania, Crete June 14-June 16 ISBN: 0-7695-2580-6
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/RSP.2006.29
Using Domain Specific Modeling (DSM) allows solutions to be expressed in the idiom and at the level of abstraction of the problem domain. However, this does not imply that prototypes can be easily and rapidly generated. In reality, Domain Specific Languages (DSLs) are difficult to design, implement and maintain, and usually there is a potential loss of efficiency when compared with hand-coded software. In this paper we explain the principles based on which we expect to solve some of these problems by means of transformation from a DSL to a formalism with a well define semantics named Concurrent Object Oriented Petri- Nets (CO-OPN). The proposed methodology uses the metamodel of the DSL as the principle for the transformation. This transformation represents the semantic mapping between the DSL and CO-OPN. The achievement is both to provide a formally defined semantics to the DSL and, since CO-OPN is integrated in a framework, to provide the functionalities that allow model verification and fast prototype generation for the DSL.
Citation:
Luis Pedro, Levi Lucio, Didier Buchs, "Principles for System Prototype and Verification Using Metamodel Based Transformations," rsp, pp.10-17, 17th IEEE International Workshop on Rapid System Prototyping (RSP'06), 2006 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb