Advertisement

Prototyping Domain Specific Languages with COOPN

  • Luis Pedro
  • Levi Lucio
  • Didier Buchs
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3943)

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).

Keywords

Model Transformation Object Constraint Language Abstract Syntax Meta Model Test Case Generation 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Biberstein, O.: CO-OPN/2: An Object-Oriented Formalism for the Specification of Concurrent Systems. PhD thesis, University of Geneva (1997)Google Scholar
  2. 2.
    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)CrossRefGoogle Scholar
  3. 3.
    Buchs, D., Guelfi, N.: A formal specification framework for object-oriented distributed systems. IEEE Transactions on Software Engineering 26(7), 635–652 (2000)CrossRefGoogle Scholar
  4. 4.
    Fondement, F., Silaghi, R.: Defining model driven engineering processes. Technical Report IC/2004/94, Swiss Federal Institute of Technology in Lausanne, Switzerland (November 2004)Google Scholar
  5. 5.
    Object Management Group. Meta-Object Facility, http://www.omg.org/technology/documents/formal/mof.htm
  6. 6.
    Object Management Group. XML Metadata Interchange, http://www.omg.org/technology/documents/formal/xmi.htm
  7. 7.
    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)CrossRefGoogle Scholar
  8. 8.
    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)Google Scholar
  9. 9.
    Java Comunity Process. Java Metadata Interface(JMI) Specification. Technical report, Sun (June 2002)Google Scholar
  10. 10.
    Risoldi, M., Buchs, D.: Model-based prototyping of graphical user interfaces for complex control systems. In: Submited to MoDELS 2005 conferenceGoogle Scholar
  11. 11.
    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)Google Scholar
  12. 12.
    Triskell team. MTL Documentation, http://modelware.inria.fr/rubrique4.html
  13. 13.
    W3C. Scalable Vector Graphics (SVG) 1.1. Technical Specification (January 2005)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Luis Pedro
    • 1
  • Levi Lucio
    • 1
  • Didier Buchs
    • 1
  1. 1.Centre Universitaire d’InformatiqueUniversity of GenevaGenèveSwitzerland

Personalised recommendations