Towards Formal Foundations for BORM ORD 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%3A00221078" target="_blank" >RIV/68407700:21240/14:00221078 - isvavai.cz</a>
Výsledek na webu
<a href="http://www.scitepress.org/DigitalLibrary/Link.aspx?doi=10.5220/0004897603150322" target="_blank" >http://www.scitepress.org/DigitalLibrary/Link.aspx?doi=10.5220/0004897603150322</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.5220/0004897603150322" target="_blank" >10.5220/0004897603150322</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Towards Formal Foundations for BORM ORD 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). We, however, identified several flaws in the diagram?s behaviour semantics. These occur mostly due to inconsistent and incomplete formal specification of the ORD behaviour. In this paper, we try to amend this gap by introducing so called input and output conditions, which we consider to be the most important first step towards a sound formal specification of the ORD.
Název v anglickém jazyce
Towards Formal Foundations for BORM ORD 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). We, however, identified several flaws in the diagram?s behaviour semantics. These occur mostly due to inconsistent and incomplete formal specification of the ORD behaviour. In this paper, we try to amend this gap by introducing so called input and output conditions, which we consider to be the most important first step towards a sound formal specification of the ORD.
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
Proceedings of the 16th International Conference on Enterprise Information Systems
ISBN
978-989-758-028-4
ISSN
—
e-ISSN
—
Počet stran výsledku
8
Strana od-do
315-322
Název nakladatele
SciTePress - Science and Technology Publications
Místo vydání
Porto
Místo konání akce
Lisbon
Datum konání akce
27. 4. 2014
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—