Towards the Ontological Foundations for the Software Executable DEMO Action and Fact Models

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21240%2F16%3A00303100" target="_blank" >RIV/68407700:21240/16:00303100 - isvavai.cz</a>
Result on the web
<a href="http://www.springer.com/us/book/9783319395661" target="_blank" >http://www.springer.com/us/book/9783319395661</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-319-39567-8_10" target="_blank" >10.1007/978-3-319-39567-8_10</a>

Result language
angličtina
Original language name
Towards the Ontological Foundations for the Software Executable DEMO Action and Fact Models
Original language description
The discipline of enterprise engineering and the DEMO methodology enable a model-driven approach to enterprise software systems development. Apart from the graphical notation, the DEMO models may be fully specified in the DEMOSL language, which may become a basis for an workflow software system implementation. However, the current specification of DEMOSL has been designed mostly for the reasoning between human stakeholders. In this paper a formal calculation construct called a DEMO Machine is proposed and basic ontological foundations of this machine are elaborated based on the alignment with the theories of enterprise engineering, various ontological and formal quality criteria and the application of the Generic Systems Development Process for Model Driven Engineering (GSDP-MDE methodology).
Czech name
—
Czech description
—

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

Similar results(10)