Principles for System Prototype and Verification Using Metamodel Based Transformations

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Luis Pedro Articles by Levi Lucio Articles by Didier Buchs

17th IEEE International Workshop on Rapid System Prototyping (RSP'06)

Chania, Crete

June 14-June 16

ISBN: 0-7695-2580-6

	ASCII Text	x
	Luis Pedro, Levi Lucio, Didier Buchs, "Principles for System Prototype and Verification Using Metamodel Based Transformations," Rapid System Prototyping, IEEE International Workshop on, pp. 10-17, 17th IEEE International Workshop on Rapid System Prototyping (RSP'06), 2006.

	BibTex	x
	@article{ 10.1109/RSP.2006.29, author = {Luis Pedro and Levi Lucio and Didier Buchs}, title = {Principles for System Prototype and Verification Using Metamodel Based Transformations}, journal ={Rapid System Prototyping, IEEE International Workshop on}, volume = {0}, year = {2006}, issn = {1074-6005}, pages = {10-17}, doi = {http://doi.ieeecomputersociety.org/10.1109/RSP.2006.29}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Rapid System Prototyping, IEEE International Workshop on TI - Principles for System Prototype and Verification Using Metamodel Based Transformations SN - 1074-6005 SP10 EP17 A1 - Luis Pedro, A1 - Levi Lucio, A1 - Didier Buchs, PY - 2006 KW - null VL - 0 JA - Rapid System Prototyping, IEEE International Workshop on ER -

Luis Pedro, University of Geneva, Switzerland

Levi Lucio, University of Geneva, Switzerland

Didier Buchs, University of Geneva, Switzerland

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

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.