Towards Formal Foundations for BORM ORD Validation and Simulation

Result code in 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>
Result on the web
<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>

Result language
angličtina
Original language name
Towards Formal Foundations for BORM ORD 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). 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.
Czech name
—
Czech description
—

Publication year
2014
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection
Proceedings of the 16th International Conference on Enterprise Information Systems
ISBN
978-989-758-028-4
ISSN
—
e-ISSN
—
Number of pages
8
Pages from-to
315-322
Publisher name
SciTePress - Science and Technology Publications
Place of publication
Porto
Event location
Lisbon
Event date
Apr 27, 2014
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—

Similar results(10)