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.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Amyot, D., Eberlein, A.: An evaluation of scenario notations and construction approaches for telecommunication systems development. Telecommunication Systems 24(1), 61–94 (2003)
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)
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)
The Abstract State Machine Metamodel website (2006), http://asmeta.sf.net/
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)
Börger, E., Stärk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)
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)
Carroll, J.M.: Five reasons for scenario-based design. Interacting with Computers 13(1), 43–60 (2000)
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)
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)
Damm, W., Harel, D.: LCSs: Breathing life into message sequence charts. Formal Methods in System Design 19(1), 45–80 (2001)
Eclipse Modeling Framework (2008), http://www.eclipse.org/emf/
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)
Gargantini, A., Riccobene, E.: Asm-based testing: Coverage criteria and automatic test sequence. J. of Universal Computer Science 7(11), 1050–1067 (2001)
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)
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)
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)
Gargantini, A., Riccobene, E., Scandurra, P.: A metamodel-based simulator for ASMs. In: Prinz, A. (ed.) Proceedings of the 14th International ASM Workshop (2007)
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)
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)
Gargantini, A., Riccobene, E., Scandurra, P.: A language and a simulation engine for abstract state machines based on metamodelling. In: JUCS (accepted, 2008)
Grieskamp, W., Tillmann, N., Veanes, M.: Instrumenting scenarios in a model-driven development environment. Information & Software Technology 46(15), 1027–1036 (2004)
Harel, D., Rumpe, B.: Meaningful modeling: What’s the semantics of ”semantics”? IEEE Computer 37(10), 64–72 (2004)
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)
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)
Hsia, P., Samuel, J., Gao, J., Kung, D., Toyoshima, Y., Chen, C.: Formal approach to scenario analysis. IEEE Software 11(2), 33–41 (1994)
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)
Kemmerer, R.: Testing formal specifications to detect design errors. IEEE Trans. Soft. Eng. 11(1), 32–43 (1985)
Kurtev, I., Bézivin, J., Jouault, F., Valduriez, P.: Model-based DSL frameworks. In: OOPSLA Companion, pp. 602–616 (2006)
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)
Message sequence chart (MSC). ITU-T Recommendation Z.120, International Telecommunications Union (November 1996)
Nielsen, J.: Scenarios in discount usability engineering. In: Scenario-Based Design, pp. 59–83. John Wiley & Sons, Chichester (1995)
Potts, C., Takahashi, K., Anton, A.I.: Inquiry-based requirements analysis. IEEE Software 11(2), 21–32 (1994)
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)
Rich, E., Knight, K.: Artificial Intelligence. McGraw-Hill, New York (1991)
Rubin, K.S., Goldberg, A.: Object behavior analysis. Communications of the ACM 35(9), 48–62 (1992)
Sutcliffe, A.: Scenario-based requirements engineering. In: 11th IEEE Joint Int. Conference on Requirements Engineering (RE 2003), pp. 320–329 (2003)
Textual Editing Framework (2007), http://www2.informatik.hu-berlin.de/sam/meta-tools/tef/tool.html
OMG. The Unified Modeling Language (UML), v2.1.2 (2007), http://www.uml.org
Author information
Authors and Affiliations
Editor information
Rights 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)