Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Separating Topological Noise from Features Using Persistent Entropy Kapitel lesen Erstes Kapitel lesen

2016 | OriginalPaper | Buchkapitel

Visual Notation and Patterns for Abstract State Machines

verfasst von : Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene

Erschienen in: Software Technologies: Applications and Foundations

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Formal models are a rigorous way to specify informal system requirements. However, they are not widely used in practice, since they are considered difficult to develop and understand. Visualization is often considered a good means for people to communicate and to get a common understanding. We here make a proposal of a visual notation for Abstract State Machines (ASMs), and we introduce visual trees that visualize ASM transition rules. In addition to these graphical components that are based only on the syntactical structure of the model, we also present visual patterns that permit to visualize part of the behavior of the machine. A tool is also available to graphically represent ASM models using the proposed notation.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Vorheriges Kapitel Attributed Graph Transformation via Rule Schemata: Church-Rosser Theorem
Nächstes Kapitel Visualization of Formal Specifications for Understanding and Debugging an Industrial DSL
Fußnoten
2
Note that the complete formalization of the case study consists of a sequence of refined models, each one specifying more details of the therapy.
 
3
Note that the pattern can be detected by a simple static analysis of the model because of the particular guard structure we consider. If we would like to handle any type of guard, detecting the pattern would require to use a logical solver.
 
Literatur
1.
Arcaini, P., Bonfanti, S., Gargantini, A., Mashkoor, A., Riccobene, E.: Formal validation and verification of a medical software critical component. In: Proceedings of MEMOCODE 2015, pp. 80–89. IEEE, September 2015
2.
3.
Arcaini, P., Gargantini, A., Riccobene, E.: Rigorous development process of a safety-critical system: from ASM models to Java code. Int. J. Softw. Tools Technol. Transf. 1–23 (2015)
4.
Arcaini, P., Gargantini, A., Riccobene, E., Scandurra, P.: A model-driven process for engineering a toolset for a formal method. Softw. Pract. Exp. 41, 155–166 (2011)CrossRef
5.
Börger, E., Stärk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)CrossRefMATH
6.
Bryant, B.R., Gray, J., Mernik, M., Clarke, P.J., France, R.B., Karsai, G.: Challenges and directions in formalizing the semantics of modeling languages. Comput. Sci. Inf. Syst. 8(2), 225–253 (2011)CrossRef
7.
Dick, J., Loubersac, J.: Integrating structured and formal methods: a visual approach to VDM. In: Lamsweerde, A., Fugetta, A. (eds.) ESEC 1991. LNCS, vol. 550, pp. 37–59. Springer, Heidelberg (1991). doi:10.​1007/​3540547428_​42 CrossRef
8.
Dulac, N., Viguier, T., Leveson, N., Storey, M.-A.: On the use of visualization in formal requirements specification. In: Proceedings of the 2002 IEEE Joint International Conference on Requirements Engineering, pp. 71–80. IEEE (2002)
9.
Gargantini, A., Riccobene, E.: ViBBA: a toolbox for automatic model driven animation. In: Proceedings of SIMVIS 2005, pp. 101–114. SCS Publishing House (2005)
10.
Gargantini, A., Riccobene, E., Scandurra, P.: A metamodel-based language and a simulation engine for Abstract State Machines. J. UCS 14(12), 1949–1983 (2008)
11.
Glässer, U., Gotzhein, R., Prinz, A.: The formal semantics of SDL-2000: status and perspectives. Comput. Netw. 42(3), 343–358 (2003)CrossRefMATH
12.
Harel, D., Politi, M.: Modeling Reactive Systems with Statecharts: The STATEMATE Approach. McGraw-Hill Inc., New York (1998)
13.
Kim, S.-K., Carrington, D.: Visualization of formal specifications. In: Proceedings of APSEC 1999, pp. 102–109. IEEE (1999)
14.
Kraemer, F.A., Sltten, V., Herrmann, P.: Tool support for the rapid composition, analysis and implementation of reactive services. J. Syst. Softw. 82(12), 2068–2080 (2009)CrossRef
15.
Ladenberger, L., Bendisposto, J., Leuschel, M.: Visualising Event-B models with B-Motion studio. In: Alpuente, M., Cook, B., Joubert, C. (eds.) FMICS 2009. LNCS, vol. 5825, pp. 202–204. Springer, Heidelberg (2009). doi:10.​1007/​978-3-642-04570-7_​17 CrossRef
16.
Leuschel, M., Bendisposto, J., Dobrikov, I., Krings, S., Plagge, D.: From Animation to Data Validation: The ProB Constraint Solver 10 Years On, pp. 427–446. Wiley, Hoboken (2014)
17.
Leuschel, M., Samia, M., Bendisposto, J.: Easy graphical animation and formula visualisation for teaching B. In: The B Method: From Research to Teaching (2008)
18.
Margaria, T., Braun, V.: Formal methods and customized visualization: a fruitful symbiosis. In: Margaria, T., Steffen, B., Rückert, R., Posegga, J. (eds.) Services and Visualization Towards User-Friendly Design. LNCS, vol. 1385, pp. 190–207. Springer, Heidelberg (1998). doi:10.​1007/​BFb0053506 CrossRef
19.
20.
Najafi, M., Haghighi, H.: An integration of UML-B and Object-Z in software development process. In: Elleithy, K., Sobh, T. (eds.) Innovations and Advances in Computer, Information, Systems Sciences, and Engineering. Lecture Notes in Electrical Engineering, vol. 152, pp. 633–648. Springer, New York (2013)CrossRef
21.
Pradella, M., Rossi, M., Mandrioli, D.: ArchiTRIO: a UML-compatible language for architectural description and its formal semantics. In: Wang, F. (ed.) FORTE 2005. LNCS, vol. 3731, pp. 381–395. Springer, Heidelberg (2005). doi:10.​1007/​11562436_​28 CrossRef
22.
Riccobene, E., Scandurra, P.: A formal framework for service modeling and prototyping. Formal Asp. Comput. 26(6), 1077–1113 (2014)MathSciNetCrossRef
23.
Snook, C., Butler, M.: UML-B: formal modeling and design aided by UML. ACM Trans. Softw. Eng. Methodol. 15(1), 92–122 (2006)CrossRef
24.
Spichkova, M.: Design of formal languages and interfaces: “formal” does not mean “unreadable”. In: Emerging Research and Trends in Interactivity and the Human-Computer, Interface, pp. 301–314 (2014)
25.
Spichkova, M.: Human factors of formal methods. CoRR, abs/1404.7247 (2014)
Metadaten
Titel
Visual Notation and Patterns for Abstract State Machines
verfasst von
Paolo Arcaini
Silvia Bonfanti
Angelo Gargantini
Elvinia Riccobene
Copyright-Jahr
2016
Buch
Software Technologies: Applications and Foundations

Print ISBN: 978-3-319-50229-8

Electronic ISBN: 978-3-319-50230-4

Copyright-Jahr: 2016

DOI
https://doi.org/10.1007/978-3-319-50230-4_12