Skip to main content
SpringerLink
Log in

A Scenario-Based Validation Language for ASMs

  • Conference paper
Abstract State Machines, B and Z (ABZ 2008)

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

Included in the following conference series:

Abstract

This paper presents the AValLa language, a domain-specific modelling language for scenario-based validation of ASM models, and its supporting tool, the AsmetaV validator. They have been developed according to the model-driven development principles as part of the asmeta (ASM mETAmodelling) toolset, a set of tools around ASMs. As a proof-of-concepts, the paper reports the results of the scenario-based validation for the well-known LIFT control case study.

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

Access this chapter

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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Amyot, D., Eberlein, A.: An evaluation of scenario notations and construction approaches for telecommunication systems development. Telecommunication Systems 24(1), 61–94 (2003)

    Article  Google Scholar 

  2. Anderson, J.S., Durney, B.: Using scenarios in deficiency-driven requirements engineering. In: Proceedings of the International Symposium on Requirements Engineering, pp. 134–141. IEEE, Los Alamitos (1993)

    Google Scholar 

  3. Anton, A.I., McCracken, W.M., Potts, C.: Goal decomposition and scenario analysis in business process reengineering. LNCS, vol. 811, pp. 94–104. Springer, Heidelberg (1994)

    Google Scholar 

  4. The Abstract State Machine Metamodel website (2006), http://asmeta.sf.net/

  5. Barnett, M., Grieskamp, W., Schulte, W., Tillmann, N., Veanes, M.: Validating use-cases with the asmL test tool. In: 3rd International Conference on Quality Software (QSIC 2003), Dallas, TX, USA, November 6-7, 2003, pp. 238–246. IEEE Computer Society, Los Alamitos (2003)

    Chapter  Google Scholar 

  6. Börger, E., Stärk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)

    MATH  Google Scholar 

  7. Carioni, A., Gargantini, A., Riccobene, E., Scandurra, P.: Scenario-based Validation of Embedded Systems. In: FDL 2008: Proceedings of Forum on Specification and Design Languages (2008)

    Google Scholar 

  8. Carroll, J.M.: Five reasons for scenario-based design. Interacting with Computers 13(1), 43–60 (2000)

    Article  Google Scholar 

  9. Carroll, J.M., Rosson, M.B.: Getting around the task-artifact cycle: How to make claims and design by scenario. ACM Transactions on Information Systems 10(2), 181–212 (1992)

    Article  Google Scholar 

  10. Chandrasekaran, P.: How use case modeling policies have affected the success of various projects (or how to improve use case modeling). In: Addendum to the 1997 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Lanuages, and Applications, pp. 6–9 (1997)

    Google Scholar 

  11. Damm, W., Harel, D.: LCSs: Breathing life into message sequence charts. Formal Methods in System Design 19(1), 45–80 (2001)

    Article  MATH  Google Scholar 

  12. Eclipse Modeling Framework (2008), http://www.eclipse.org/emf/

  13. Gargantini, A.: Using model checking to generate fault detecting tests. In: Gurevich, Y., Meyer, B. (eds.) TAP 2007. LNCS, vol. 4454, pp. 189–206. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  14. Gargantini, A., Riccobene, E.: Asm-based testing: Coverage criteria and automatic test sequence. J. of Universal Computer Science 7(11), 1050–1067 (2001)

    Google Scholar 

  15. Gargantini, A., Riccobene, E., Rinzivillo, S.: Using spin to generate tests from ASM specifications. In: Börger, E., Gargantini, A., Riccobene, E. (eds.) ASM 2003. LNCS, vol. 2589, pp. 263–277. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  16. Gargantini, A., Riccobene, E., Scandurra, P.: Deriving a textual notation from a metamodel: an experience on bridging Modelware and Grammarware. In: 3M4MDA 2006 workshop at the European Conference on MDA (2006)

    Google Scholar 

  17. Gargantini, A., Riccobene, E., Scandurra, P.: Metamodelling a Formal Method: Applying MDE to Abstract State Machines. Technical Report 97, DTI Dept., University of Milan (2006)

    Google Scholar 

  18. Gargantini, A., Riccobene, E., Scandurra, P.: A metamodel-based simulator for ASMs. In: Prinz, A. (ed.) Proceedings of the 14th International ASM Workshop (2007)

    Google Scholar 

  19. Gargantini, A., Riccobene, E., Scandurra, P.: Ten reasons to metamodel ASMs. In: Rigorous Methods for Software Construction and Analysis - Papers Dedicated to Egon Börger on the Occasion of His 60th Birthday. LNCS, vol. 5115. Springer, Heidelberg (2007)

    Google Scholar 

  20. Gargantini, A., Riccobene, E., Scandurra, P.: A Model-driven Validation & Verification Environment for Embedded Systems. In: Proc. of the IEEE third Symposium on Industrial Embedded Systems (SIES 2008). IEEE, Los Alamitos (2008)

    Google Scholar 

  21. Gargantini, A., Riccobene, E., Scandurra, P.: A language and a simulation engine for abstract state machines based on metamodelling. In: JUCS (accepted, 2008)

    Google Scholar 

  22. Grieskamp, W., Tillmann, N., Veanes, M.: Instrumenting scenarios in a model-driven development environment. Information & Software Technology 46(15), 1027–1036 (2004)

    Article  Google Scholar 

  23. Harel, D., Rumpe, B.: Meaningful modeling: What’s the semantics of ”semantics”? IEEE Computer 37(10), 64–72 (2004)

    Google Scholar 

  24. Hassine, J., Rilling, J., Dssouli, R.: An ASM operational semantics for use case maps. In: 13th IEEE International Conference on Requirements Engineering (RE 2005), Paris, France, August 29 - September 2, 2005, pp. 467–468. IEEE Computer Society, Los Alamitos (2005)

    Chapter  Google Scholar 

  25. Heymans, P., Dubois, E.: Scenario-based techniques for supporting the elaboration and the validation of formal requirements. Requir. Eng. 3(3/4), 202–218 (1998)

    Article  Google Scholar 

  26. Hsia, P., Samuel, J., Gao, J., Kung, D., Toyoshima, Y., Chen, C.: Formal approach to scenario analysis. IEEE Software 11(2), 33–41 (1994)

    Article  Google Scholar 

  27. Kaindl, H., Kramer, S., Kacsich, R.: A case study of decomposing functional requirements using scenarios. In: 3rd International Conference on Requirements Engineering (ICRE 1998), pp. 156–163. IEEE Computer Society, Los Alamitos (1998)

    Google Scholar 

  28. Kemmerer, R.: Testing formal specifications to detect design errors. IEEE Trans. Soft. Eng. 11(1), 32–43 (1985)

    Article  Google Scholar 

  29. Kurtev, I., Bézivin, J., Jouault, F., Valduriez, P.: Model-based DSL frameworks. In: OOPSLA Companion, pp. 602–616 (2006)

    Google Scholar 

  30. Lalioti, V., Theodoulidis, B.: Visual scenarios for validation of requirements specification. In: SEKE 1995, The 7th Int. Conference on Software Engineering and Knowledge Engineering, pp. 114–116. Knowledge Systems Institute (1995)

    Google Scholar 

  31. Message sequence chart (MSC). ITU-T Recommendation Z.120, International Telecommunications Union (November 1996)

    Google Scholar 

  32. Nielsen, J.: Scenarios in discount usability engineering. In: Scenario-Based Design, pp. 59–83. John Wiley & Sons, Chichester (1995)

    Google Scholar 

  33. Potts, C., Takahashi, K., Anton, A.I.: Inquiry-based requirements analysis. IEEE Software 11(2), 21–32 (1994)

    Article  Google Scholar 

  34. Riccobene, E., Scandurra, P., Rosti, A., Bocchio, S.: A UML 2.0 profile for SystemC: toward high-level SoC design. In: EMSOFT 2005: Proceedings of the 5th ACM international conference on Embedded software, pp. 138–141. ACM Press, New York (2005)

    Chapter  Google Scholar 

  35. Rich, E., Knight, K.: Artificial Intelligence. McGraw-Hill, New York (1991)

    Google Scholar 

  36. Rubin, K.S., Goldberg, A.: Object behavior analysis. Communications of the ACM 35(9), 48–62 (1992)

    Article  Google Scholar 

  37. Sutcliffe, A.: Scenario-based requirements engineering. In: 11th IEEE Joint Int. Conference on Requirements Engineering (RE 2003), pp. 320–329 (2003)

    Google Scholar 

  38. Textual Editing Framework (2007), http://www2.informatik.hu-berlin.de/sam/meta-tools/tef/tool.html

  39. OMG. The Unified Modeling Language (UML), v2.1.2 (2007), http://www.uml.org

Download references

Author information

Authors and Affiliations

  1. Dip. di Ing. Informatica e Metodi Matematici, Università di Bergamo, Italy

    Angelo Gargantini

  2. Dip. di Tecnologie dell’Informazione, Università di Milano, Italy

    Alessandro Carioni, Elvinia Riccobene & Patrizia Scandurra

Authors
  1. Alessandro Carioni
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Angelo Gargantini
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Elvinia Riccobene
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Patrizia Scandurra
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Egon Börger Michael Butler Jonathan P. Bowen Paul Boca

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Carioni, A., Gargantini, A., Riccobene, E., Scandurra, P. (2008). A Scenario-Based Validation Language for ASMs. In: Börger, E., Butler, M., Bowen, J.P., Boca, P. (eds) Abstract State Machines, B and Z. ABZ 2008. Lecture Notes in Computer Science, vol 5238. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-87603-8_7

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-87603-8_7

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-87602-1

  • Online ISBN: 978-3-540-87603-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation