IRI

http://www.metaontology.pl/metaontology_populated.owl#publication_629
Label Language Type
A Formal Foundation for Process Modeling en rdfs:label

Annotations

Same Individuals

Types

Object properties

Data properties

  • has Bibtex metadata

    • @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}}@

  • has title

    • A Formal Foundation for Process Modeling

  • is published in

    • 2001