The Prefix Machine ? a Formal Foundation for the BORM OR Diagrams Validation and Simulation
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21240%2F14%3A00221081" target="_blank" >RIV/68407700:21240/14:00221081 - isvavai.cz</a>
Result on the web
<a href="http://link.springer.com/chapter/10.1007%2F978-3-662-44860-1_7" target="_blank" >http://link.springer.com/chapter/10.1007%2F978-3-662-44860-1_7</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-662-44860-1_7" target="_blank" >10.1007/978-3-662-44860-1_7</a>
Alternative languages
Result language
angličtina
Original language name
The Prefix Machine ? a Formal Foundation for the BORM OR Diagrams Validation and Simulation
Original language description
Business Object Relation Modelling (BORM) is a method for systems analysis and design that utilises an object oriented paradigm in combination with business process modelling. BORM?s Object Relation Diagram (ORD) is successfully used in practice for object behaviour analysis (OBA). OBA has found its firm place for visualisation and simulation of processes, however several ontological flaws were identified and there seems to be missing a strong formal foundation that would enable correct reasoning aboutthe models. In this paper, we propose a sound formal foundation for BORM?S ORD. Based on this formal foundation (which we call ?the prefix machine?), we get not only to a precise behaviour specification, but it also offers some interesting means of process analysis.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
—
Continuities
S - Specificky vyzkum na vysokych skolach
Others
Publication year
2014
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Enterprise and Organizational Modeling and Simulation
ISBN
978-3-662-44859-5
ISSN
1865-1348
e-ISSN
—
Number of pages
19
Pages from-to
113-131
Publisher name
Springer
Place of publication
Berlin
Event location
Thessaloniki
Event date
Jun 16, 2014
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
000345035400007