In C. Welty B. Smith (ed.), Formal Ontology and Information Systems. ACM Press (2001)
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 Speciﬁcation 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 Speciﬁcation 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.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
The Process Specification Language: Theory and Applications.Michael Grüninger & Christopher Menzel - 2003 - AI Magazine 24 (3):63-74.
Understanding Scientific Study Via Process Modeling.Robert W. P. Luk - 2010 - Foundations of Science 15 (1):49-78.
Information Modeling Aspects of Software Development.Timothy R. Colburn - 1998 - Minds and Machines 8 (3):375-393.
Modeling of Phenomena and Dynamic Logic of Phenomena.Boris Kovalerchuk, Leonid Perlovsky & Gregory Wheeler - 2012 - Journal of Applied Non-Classical Logic 22 (1):1-82.
Using Process Algebra to Describe Human and Software Behaviors.Yingxu Wang - 2003 - Brain and Mind 4 (2):199-213.
A Meta-Model for Ontologies with ORM.Politecnico di Milano, Christina Tziviskou & C. Maria Keet - unknown
Deliberative Exchange, Truth, and Cognitive Division of Labour: A Low-Resolution Modeling Approach.Ulrich Krause & Rainer Hegselmann - 2009 - Episteme 6 (2):130-144.
Computer Simulation: The Cooperation Between Experimenting and Modeling.Johannes Lenhard - 2007 - Philosophy of Science 74 (2):176-194.
Interdisciplinarity "in the Making": Modeling Infectious Diseases.Erika Mattila - 2005 - Perspectives on Science 13 (4):531-553.
Empirical Modeling and Information Semantics.Gordana Dodig-Crnkovic - 2008 - Mind & Society 7 (2):157.
Added to index2010-12-22
Total downloads38 ( #132,250 of 2,152,480 )
Recent downloads (6 months)1 ( #399,782 of 2,152,480 )
How can I increase my downloads?