A Formal Foundation for Process Modeling
In C. Welty B. Smith (ed.), Formal Ontology and Information Systems. ACM Press (2001)
| 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 first develop a simple mathematical model of activities and their instances based upon the model theory for the NIST Process Specification 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 Specification 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 | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,711 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesMichael Grüninger & Christopher Menzel (2003). The Process Specification Language: Theory and Applications. AI Magazine 24 (3):63-74.
Robert W. P. Luk (2010). Understanding Scientific Study Via Process Modeling. Foundations of Science 15 (1).
Timothy R. Colburn (1998). Information Modeling Aspects of Software Development. Minds and Machines 8 (3):375-393.
Boris Kovalerchuk, Leonid Perlovsky & Gregory Wheeler (2012). Modeling of Phenomena and Dynamic Logic of Phenomena. Journal of Applied Non-Classical Logic 22 (1):1-82.
Yingxu Wang (2003). Using Process Algebra to Describe Human and Software Behaviors. Brain and Mind 4 (2):199-213.
Roselie McDevitt, Catherine Giapponi & Cheryl Tromley (2007). A Model of Ethical Decision Making: The Integration of Process and Content. Journal of Business Ethics 73 (2):219 - 229.
Nicos A. Scordis (2011). The Morality of Risk Modeling. Journal of Business Ethics 103 (S1):7-16.
Ulrich Krause & Rainer Hegselmann (2009). Deliberative Exchange, Truth, and Cognitive Division of Labour: A Low-Resolution Modeling Approach. Episteme 6 (2):130-144.
Johannes Lenhard (2007). Computer Simulation: The Cooperation Between Experimenting and Modeling. Philosophy of Science 74 (2):176-194.
Erika Mattila (2005). Interdisciplinarity "in the Making": Modeling Infectious Diseases. Perspectives on Science 13 (4):531-553.
Dennis J. Moberg (2000). Role Models and Moral Exemplars. Business Ethics Quarterly 10 (3):675-696.
Gordana Dodig-Crnkovic (2008). Empirical Modeling and Information Semantics. Mind & Society 7 (2):157.
Raphael Scholl & Tim Räz (2013). Modeling Causal Structures. European Journal for Philosophy of Science 3 (1):115-132.
Analytics
Monthly downloads |
Added to index2010-12-22Total downloads16 ( #74,805 of 551,055 )Recent downloads (6 months)3 ( #25,753 of 551,055 )How can I increase my downloads? |
My notes
Discussion
