Declarative semantics of actions and instructions

OnderzoeksoutputAcademicpeer review

4 Citaten (Scopus)


A complete information modeling method must address both the process- and data-perspectives, preferably in an integrated manner (i.e., also specifying which state change each process should achieve exactly). However, most approaches either emphasize only data or only processes. And when an approach handles both data and processes, there is usually no integration of processes and data. A language must have a precise semantics if tools are to perform intelligent operations on models expressed in the language. Moreover, formal semantics helps in detecting errors in and reasoning about specifications. We give a precise, declarative, model-theoretic semantics for a large class of instruction languages that treats processes and data in an integrated manner. The instruction expressions are interpreted against a ‘state space’ (i.e., a set of ‘states’) and we consider the semantics of an instruction as the set of possible state transitions it can achieve. As a result, we can provide the integration of the different scenarios of a use case into one (textual) system sequence diagram with a well-defined semantics. We can also formally prove the semantic equivalence of several instructions, even for non-deterministic instructions. The class of instruction languages provides a fruitful similarity between the structuring mechanisms for modeling business processes, textual system sequence diagrams, and programming languages, among others. This will ease the translation towards an implementation in a software system.

Originele taal-2English
TitelBusiness Modeling and Software Design
Subtitel10th International Symposium, BMSD 2020, Berlin, Germany, July 6-8, 2020, Proceedings
RedacteurenB. Shishkov
Plaats van productieCham
Aantal pagina's12
ISBN van elektronische versie978-3-030-52306-0
ISBN van geprinte versie978-3-030-52305-3
StatusPublished - 2020

Publicatie series

NaamLecture Notes in Business Information Processing (LNBIP)


Duik in de onderzoeksthema's van 'Declarative semantics of actions and instructions'. Samen vormen ze een unieke vingerafdruk.

Citeer dit