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

Kód výsledku v 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>

Výsledek na webu

<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>

Jazyk výsledku

angličtina

Název v původním jazyce

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

Popis výsledku v původním jazyce

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).

Název v anglickém jazyce

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

Popis výsledku anglicky

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).

Druh

D - Stať ve sborníku

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

—

Návaznosti

S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2016

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ů

Název statě ve sborníku

Advances in Enterprise Engineering X

ISBN

978-3-319-39566-1

ISSN

1865-1348

e-ISSN

—

Počet stran výsledku

15

Strana od-do

151-165

Název nakladatele

Springer

Místo vydání

Basel

Místo konání akce

Funchal, Madeira Island

Datum konání akce

30. 5. 2016

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—