Skip to main content
SpringerLink
Log in
Book cover

International Symposium On Leveraging Applications of Formal Methods, Verification and Validation

ISoLA 2004: Leveraging Applications of Formal Methods pp 26–41Cite as

A Rule Markup Language and Its Application to UML

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 4313))

Abstract

In this paper we introduce RML, which stands for Rule Markup Language and is used for rule–based transformations of XML. With RML the user can define XML wildcard elements, variables containing parts of the XML such as variables for element names or variables for lists of elements. Any XML vocabulary can be combined with RML to define transformations that can be performed by RML tools also discussed in this paper.

As an application of RML we show how it can be used to specify semantics for statecharts and class–diagrams in UML models. The static structure is defined in XML and the dynamic behavior of the model is captured with RML. The RML tools then provide an XML–based execution platform for UML models. This approach therefore can be used to simulate and analyze UML models.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. AML website. url: http://homepages.cwi.nl/jacob/aml

  2. The Archimate project. url: http://www.telin.nl/NetworkedBusiness/Archimate/ENindex.htm

  3. Berlea, A., Seidl, H.: fxt a transformation language for XML documents. Journal of Computing and Information Technology 10(1), 19–35 (2002)

    Article  MATH  Google Scholar 

  4. Bzivin, J., Dup, G., Jouault, F., Pitette, G., Rougui, J.: First experiments with the ATL model transformation language: Transforming XSLT into XQuery. In: OOPSLA 2003 Workshop, Anaheim, California, October 27 (2003), http://modelware.inria.fr/rubrique12.html

  5. Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems 8(2), 244–263 (1986)

    Article  MATH  Google Scholar 

  6. Damm, W., Josko, B., Pnueli, A., Votintseva, A.: Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2002. LNCS, vol. 2852, pp. 71–98. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  7. Bozga, M., Graf, S., Mounier, L.: Automated validation of distributed software using the IF environment. In: Stoller, S.D., Visser, W. (eds.) CAV 2001. Electronic Notes in Theoretical Computer Science, vol. 55. Elsevier Science Publishers, Amsterdam (2001)

    Google Scholar 

  8. UML Kernel model semantics demonstration. url: http://homepages.cwi.nl/~jacob/km/cgikm.html

  9. Mathematical markup language (MathML) Version 2.0 (2nd Edition), W3C recommendation (August 2003), url: http://www.w3.org/Math/

  10. OMEGA project: correct development of real-time embedded systems. url: http://www-omega.imag.fr

  11. The object management group (OMG). url: http://www.omg.org/

  12. Plotkin, G.D.: A structural approach to operational semantics. Technical Report DAIMI FN 19, Department of Computer Science, University of Aarhus, Denmark (1981)

    Google Scholar 

  13. Owre, S., Shankar, N., Rushby, J.M., Stringer-Calvert, D.W.J.: PVS system guide version 2.4 (December 2001), url: http://pvs.csl.sri.com/

  14. van Rossum, G.: Python reference manual. Centrum voor Wiskunde en Informatica (CWI), report ISSN 0169-118X (April 1995), url: http://www.python.org/

  15. Clark, J.: The design of RELAX NG. (December 6, 2001), url: http:// http://www.thaiopensource.com/relaxng/design.html

  16. Pettersson, M.: RML - A new language and implementation for natural semantics. In: Penjam, J. (ed.) PLILP 1994. LNCS, vol. 844, pp. 117–131. Springer, Heidelberg (1994)

    Google Scholar 

  17. RML website. url: http://homepages.cwi.nl/~jacob/rml

  18. The rule markup initiative community. url: http://www.dfki.uni-kl.de/ruleml/

  19. Booch, G., Jacobson, I., Rumbaugh, J.: The unified modeling language reference manual. Addison-Wesley, Reading (1999)

    Google Scholar 

  20. World wide web consortium (W3C). url: http://www.w3c.org

  21. XML metadata interchange (XMI) v2.0, OMG (May 2003), url: http://www.omg.org/technology/documents/formal/xmi.htm

  22. Extensible markup language (XML) 1.0 (Second Edition), W3C recommendation (October 2000), url: http://www.w3c.org/XML/

  23. Costello, R.L.: XML schema tutorial, W3C (September 2001), http://www.w3.org/XML/Schema

  24. XSL transformations (XSLT) version 1.0, W3C recommendation (November 1999), url: http://www.w3c.org/TRxslt

Download references

Author information

Authors and Affiliations

  1. Centrum voor Wiskunde en Informatica (CWI), Amsterdam, The Netherlands

    Joost Jacob

Authors
  1. Joost Jacob
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute for Informatics, University of Potsdam, August-Bebel-Str. 89, 14482, Potsdam, Germany

    Tiziana Margaria

  2. Chair Programming Systems, Universität Dortmund, Otto-Hahn-Str. 14, 44227, Dortmund, Germany

    Bernhard Steffen

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Jacob, J. (2006). A Rule Markup Language and Its Application to UML. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods. ISoLA 2004. Lecture Notes in Computer Science, vol 4313. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11925040_3

Download citation

  • DOI: https://doi.org/10.1007/11925040_3

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-48928-3

  • Online ISBN: 978-3-540-48929-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation