Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

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