A Formal Foundation for Process Modeling
In C. Welty B. Smith (ed.), Formal Ontology in Information Systems (FOIS). ACM Press (2001)
AbstractProcess 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.
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 - 2011 - 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.
Role Models and Moral Exemplars: How Do Employees Acquire Virtues by Observing Others?Dennis J. Moberg - 2000 - Business Ethics Quarterly 10 (3):675-696.
Empirical Modeling and Information Semantics.Gordana Dodig-Crnkovic - 2008 - Mind & Society 7 (2):157.
Modeling Causal Structures: Volterra’s Struggle and Darwin’s Success.Raphael Scholl & Tim Räz - 2013 - European Journal for Philosophy of Science 3 (1):115-132.
Added to PP
Historical graph of downloads