• English
    • Deutsch
  • English 
    • English
    • Deutsch
  • Login
View Item 
  •   Home
  • Universität Ulm
  • Publikationen
  • View Item
  •   Home
  • Universität Ulm
  • Publikationen
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Definition of the formal semantics of control state diagrams and implementation of a graphical editor

Thumbnail
AbschlussarbeitLeitz ... (3.805Mb)
Erstveröffentlichung
2018-06-08
Authors
Leitz, Markus
Referee
Tichy, Matthias
Börger, Egon
Abschlussarbeit (Master; Diplom)


Faculties
Fakultät für Ingenieurwissenschaften, Informatik und Psychologie
Institutions
Institut für Softwaretechnik und Programmiersprachen
Abstract
Abstract State Machines (ASM) are a formal specification language which is used in the software and system engineering. Different to UML2 diagrams, which are another well-known, graphical, formal specification language, ASMs are mostly used for scientific work and are textual based. Control State ASMs are a special class of ASMs which are similar to Finite State Machines, but extends them by parallelism and data structure manipulation. To give a better overview of their Control State ASM specifications, flowchart-like charts are often made. They also help the reader understand the ASMs. Such graphical representation are then called Control State Diagrams (CSD). Because these CSDs are yet not fully specified, they often lead to confusion and misunderstandings, because often nothing is said about the behavior of CSDs and there is no full list of possible shapes of them. This work will take the actual literature, analyzes the existing CSDs and the corresponding ASMs and derive a full definition of the syntax and semantics of CSDs in the form of a formal specification. Additionally a prototype of a graphical editor is implemented, with which CSDs can be created and transformed to CoreASM, a special ASM tool which is used to run ASMs on a computer.
Date created
2018
Subject headings
[GND]: Abstrakte Zustandsmaschine
[LCSH]: Formal languages; Semantics
[Free subject headings]: Control state diagram | Abstract state machine | Semantics definition
[DDC subject group]: DDC 004 / Data processing & computer science
License
CC BY-SA 4.0 International
http://creativecommons.org/licenses/by-sa/4.0/

Metadata
Show full item record

DOI & citation

Please use this identifier to cite or link to this item: http://dx.doi.org/10.18725/OPARU-6921

Leitz, Markus (2018): Definition of the formal semantics of control state diagrams and implementation of a graphical editor. Open Access Repositorium der Universität Ulm und Technischen Hochschule Ulm. http://dx.doi.org/10.18725/OPARU-6921
Citation formatter >



Policy | kiz service OPARU | Contact Us
Impressum | Privacy statement
 

 

Advanced Search

Browse

All of OPARUCommunities & CollectionsPersonsInstitutionsPublication typesUlm SerialsDewey Decimal ClassesEU projects UlmDFG projects UlmOther projects Ulm

My Account

LoginRegister

Statistics

View Usage Statistics

Policy | kiz service OPARU | Contact Us
Impressum | Privacy statement