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).
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Biberstein, O.: CO-OPN/2: An Object-Oriented Formalism for the Specification of Concurrent Systems. PhD thesis, University of Geneva (1997)
Biberstein, O., Buchs, D., Guelfi, N.: CO-OPN/2: A concurrent object-oriented formalism. In: Proc. Second IFIP Conf. on Formal Methods for Open Object-Based Distributed Systems, Canterbury, UK, pp. 57–72. Chapman and Hall, Lo, Boca Raton (1997)
Buchs, D., Guelfi, N.: A formal specification framework for object-oriented distributed systems. IEEE Transactions on Software Engineering 26(7), 635–652 (2000)
Fondement, F., Silaghi, R.: Defining model driven engineering processes. Technical Report IC/2004/94, Swiss Federal Institute of Technology in Lausanne, Switzerland (November 2004)
Object Management Group. Meta-Object Facility, http://www.omg.org/technology/documents/formal/mof.htm
Object Management Group. XML Metadata Interchange, http://www.omg.org/technology/documents/formal/xmi.htm
Lucio, L., Pedro, L., Buchs, D.: A Methodology and a Framework for Model-Based Testing. In: Guelfi, N. (ed.) RISE 2004. LNCS, vol. 3475, pp. 57–70. Springer, Heidelberg (2005)
Patrascoiu, O.: YATL:Yet Another Transformation Language. In: Proceedings of the 1st European MDA Workshop, MDA-IA, January 2004, pp. 83–90. University of Twente, the Nederlands (2004)
Java Comunity Process. Java Metadata Interface(JMI) Specification. Technical report, Sun (June 2002)
Risoldi, M., Buchs, D.: Model-based prototyping of graphical user interfaces for complex control systems. In: Submited to MoDELS 2005 conference
Strohmeier, A.: Fondue: An Object-Oriented Development Method based on the UML Notation. In: X Jornada Técnica de Ada-Spain, Documentación, ETSI de Telecommunicación, Universidad Politécnica de Madrid, Madrid, Spain (November 2001)
Triskell team. MTL Documentation, http://modelware.inria.fr/rubrique4.html
W3C. Scalable Vector Graphics (SVG) 1.1. Technical Specification (January 2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pedro, L., Lucio, L., Buchs, D. (2006). Prototyping Domain Specific Languages with COOPN. In: Guelfi, N., Savidis, A. (eds) Rapid Integration of Software Engineering Techniques. RISE 2005. Lecture Notes in Computer Science, vol 3943. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11751113_13
Download citation
DOI: https://doi.org/10.1007/11751113_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-34063-8
Online ISBN: 978-3-540-34064-5
eBook Packages: Computer ScienceComputer Science (R0)