IRI

http://www.metaontology.pl/metaontology_populated.owl#publication_629
Label Język Typ
A Formal Foundation for Process Modeling en rdfs:label

Adnotacje

Identyczne obiekty

Typy

Object properties

Data properties

  • jest opublikowany w roku

    • 2001

  • ma metadane w formacie Bibtex

    • @incollection{Menzel2001-MENAFF,author = {Christopher Menzel and Michael Gr\"uninger},editor = {C. Welty B. Smith},title = {A Formal Foundation for Process Modeling},abstract = {Process modeling is ubiquitous in business and industry. While a great deal of effort has been devoted to the formal and philosophical investigation of processes, surprisingly little research connects this work to real world process modeling. The purpose of this paper is to begin making such a connection. To do so, we rst develop a simple mathematical model of activities and their instances based upon the model theory for the NIST Process Specication Language (PSL), a simple language for describing these entities, and a semantics for the latter in terms of the former, and a set of axioms for the semantics based upon the NIST Process Specication Language (PSL). On the basis of this foundation, we then develop a general notion of a process model, and an account of what it is for such a model to be realized by a collection of events.},year = {2001},publisher = {ACM Press},booktitle = {FormalOntologyandInformation Systems}}@

  • ma tytuł

    • A Formal Foundation for Process Modeling