Prototyping domain specific languages with COOPN

Authors:
Luis Pedro;Levi Lucio;Didier Buchs
Affiliations:
Centre Universitaire d'Informatique, University of Geneva, Genève, Switzerland;Centre Universitaire d'Informatique, University of Geneva, Genève, Switzerland;Centre Universitaire d'Informatique, University of Geneva, Genève, Switzerland
Venue:
RISE'05 Proceedings of the Second international conference on Rapid Integration of Software Engineering Techniques
Year:
2005

Citing 3
Cited 1

CO-OPN/2: a concurrent object-oriented formalism

FMOODS '97 Proceedings of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems
A Formal Specification Framework for Object-Oriented Distributed Systems

IEEE Transactions on Software Engineering
A methodology and a framework for model-based testing

RISE'04 Proceedings of the First international conference on Rapid Integration of Software Engineering Techniques

Formal test generation from UML models

Dependable Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

The work described in this article presents how we use COOPN in the context of the MDA (Model Driven Architecture) philosophy for prototyping Domain Specific Languages. With this principle we increase the abstraction of COOPN language representation enabling standard data interchange with other applications that use the same approach. In particular we will present the architecture of the transformation from Domain Specific Languages; its advantages concerning the ability to have COOPN models as a standard format for representing the semantics of Domain Specific Languages and to reuse software prototyping and testing techniques developped for this formalism. As example we will show how our work is proceeding towards transformation from UML to COOPN. We also argue how our approach can be easily used in order to produce rapid system prototyping and verification for Domain Specific Languages (DSLs).