The Prefix Machine ? a Formal Foundation for the BORM OR Diagrams Validation and Simulation
Identifikátory výsledku
Kód výsledku v 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>
Výsledek na webu
<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>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
The Prefix Machine ? a Formal Foundation for the BORM OR Diagrams Validation and Simulation
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
The Prefix Machine ? a Formal Foundation for the BORM OR Diagrams Validation and Simulation
Popis výsledku anglicky
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.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
IN - Informatika
OECD FORD obor
—
Návaznosti výsledku
Projekt
—
Návaznosti
S - Specificky vyzkum na vysokych skolach
Ostatní
Rok uplatnění
2014
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název statě ve sborníku
Enterprise and Organizational Modeling and Simulation
ISBN
978-3-662-44859-5
ISSN
1865-1348
e-ISSN
—
Počet stran výsledku
19
Strana od-do
113-131
Název nakladatele
Springer
Místo vydání
Berlin
Místo konání akce
Thessaloniki
Datum konání akce
16. 6. 2014
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
000345035400007