Skip to main content
SpringerLink
Log in
Book cover

International Conference on Model Driven Engineering Languages and Systems

MODELS 2009: Model Driven Engineering Languages and Systems pp 378–392Cite as

Towards Test-Driven Semantics Specification

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 5795))

Abstract

Behavioral models are getting more and more important within the software development cycle. To get the most use out of them, their behavior should be defined formally. As a result, many approaches exist which aim at specifying formal semantics for behavioral languages (e.g., Dynamic Meta Modeling (DMM), Semantic Anchoring). Most of these approaches give rise to a formal semantics which can e.g. be used to check the quality of a particular language instance, for instance using model checking techniques.

However, if the semantics specification itself contains errors, it is more or less useless, since one cannot rely on the analysis results. Therefore, the language engineer must make sure that the semantics he develops is of the highest quality possible. To help the language engineer to achieve that goal, we propose a test-driven semantics specification process: the semantics of the language under consideration is first informally demonstrated using example models, which will then be used as test cases during the actual semantics specification process. In this paper, we present this approach using the already mentioned specification language DMM.

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   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.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. Object Management Group: OMG Unified Modeling Language (OMG UML) – Superstructure, Version 2.2. (February 2009), http://www.omg.org/docs/formal/09-02-02.pdf

  2. van der Aalst, W.: Verification of Workflow Nets. In: Azéma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 407–426. Springer, Heidelberg (1997)

    Chapter  Google Scholar 

  3. Engels, G., Soltenborn, C., Wehrheim, H.: Analysis of UML Activities using Dynamic Meta Modeling. In: Bosangue, M.M., Johnsen, E.B. (eds.) FMOODS 2007. LNCS, vol. 4468, pp. 76–90. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  4. Hausmann, J.H.: Dynamic Meta Modeling. PhD thesis, University of Paderborn (2005)

    Google Scholar 

  5. Zhang, K.B., Orgun, M.A., Zhang, K.: Visual Language Semantics Specification in the VisPro System. In: Jin, J.S., Eades, P., Feng, D.D., Yan, H. (eds.) Selected papers from the 2002 Pan-Sydney workshop on Visualisation (VIP 2002). ACM International Conference Proceeding Series, vol. 161, pp. 121–127. Australian Computer Society, Inc., Darlinghurst (2003)

    Google Scholar 

  6. Plotkin, G.D.: A Structural Approach to Operational Semantics. J. Log. Algebr. Program. 60–61, 17–139 (2004)

    MathSciNet  MATH  Google Scholar 

  7. Hemingway, G., Su, H., Chen, K., Koo, T.J.: A semantic anchoring infrastructure for the design of embedded systems. In: COMPSAC (1), pp. 287–294. IEEE Computer Society, Los Alamitos (2007)

    Google Scholar 

  8. Beck, K.: Test-Driven Development by Example. Addison-Wesley Longman, Amsterdam (2002)

    Google Scholar 

  9. Eclipse Foundation: Graphical Modeling Framework (2009), http://www.eclipse.org/modeling/gmf/ (accessed 5-5-2009)

  10. Microsoft: DSL Tools (2009), http://msdn.microsoft.com/en-us/library/bb126235.aspx (accessed 5-5-2009)

  11. Rensink, A.: The GROOVE Simulator: A Tool for State Space Generation. In: Pfaltz, J.L., Nagl, M., Böhlen, B. (eds.) AGTIVE 2003. LNCS, vol. 3062, pp. 479–485. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  12. Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic Verification of Finite-State Concurrent Systems using Temporal Logic Specifications. ACM Trans. Program. Lang. Syst. 8(2), 244–263 (1986)

    Article  MATH  Google Scholar 

  13. Xuandong, L., Linzhang, W., Xiaokang, Q., Bin, L., Jiesong, Y., Jianhua, Z., Guoliang, Z.: Runtime Verification of Java Programs for Scenario-Based Specifications. In: Pinho, L.M., Harbour, M.G. (eds.) Ada-Europe 2006. LNCS, vol. 2006, pp. 94–105. Springer, Heidelberg (2006)

    Google Scholar 

  14. Smolander, K., Lyytinen, K., Tahvanainen, V.P., Marttiin, P.: MetaEdit: a Flexible Graphical Environment for Methodology Modelling. In: Andersen, R., Solvberg, A., Bubenko Jr., J.A. (eds.) CAiSE 1991. LNCS, vol. 498, pp. 168–193. Springer, Heidelberg (1991)

    Chapter  Google Scholar 

  15. Cook, S., Jones, G., Kent, S., Wills, A.: Domain-Specific Development with Visual Studio DSL Tools. Addison-Wesley Professional, Reading (2007)

    Google Scholar 

  16. Haase, A., Völter, M., Efftinge, S., Kolb, B.: Introduction to openArchitectureWare 4.1.2. MDD Tool Implementers Forum (Part of the TOOLS 2007 conference, Zürich) (2007)

    Google Scholar 

  17. Milner, R., Parrow, J., Walker, D.: A Calculus of Mobile Processes, I. Information and Computation 100(1), 1–40 (1992)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Informatik, Universität Paderborn, 33098, Paderborn, Germany

    Christian Soltenborn & Gregor Engels

Authors
  1. Christian Soltenborn
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gregor Engels
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Fachgebiet Echtzeitsysteme, Technische Universität Darmstadt, Merckstraße 25, 64283, Darmstadt,, Germany

    Andy Schürr

  2. Malina Software Corporation, 10 Blueridge Court, Nepean,, K2J 2J3, Ontario, Canada

    Bran Selic

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Soltenborn, C., Engels, G. (2009). Towards Test-Driven Semantics Specification. In: Schürr, A., Selic, B. (eds) Model Driven Engineering Languages and Systems. MODELS 2009. Lecture Notes in Computer Science, vol 5795. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04425-0_30

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-04425-0_30

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-04424-3

  • Online ISBN: 978-3-642-04425-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation