Article

A formal foundation for process modeling

Authors:

Christopher Menzel,

Michael GrüningerAuthors Info & Claims

FOIS '01: Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001

Pages 256 - 269

https://doi.org/10.1145/505168.505193

Published: 17 October 2001 Publication History

Get Access

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.

References

[1]

van Benthem, J. F. A. K., The Logic of Time, D. Reidel Publishing Co., Dordrecht, 1983.

Google Scholar

[2]

Hayes, I? J., "A Catalog of Temporal Theories," Tech report UIUC-BI-AI-96-01, University of Illinois, 1995.

Google Scholar

[3]

Kripke, S., "Semantic Considerations on Modal Logic," Acta Philosophica Fennica 24 (1963), 83-94.

Google Scholar

[4]

Mart-Oliet, N., and J. Meseguer, "From Petri Nets to Linear Logic," Mathematical Structures in Computer Science 1(1), 69-101, 1991.

Crossref

Google Scholar

[5]

Mendelson, E., Introduction to Mathematical Logic, 4th edition, International Thomson Publishers, New York, 1997.

Digital Library

Google Scholar

[6]

Montague, R., "On the Nature of Certain Philosophical Entities," The Monist 53 (1969), 159- 194. Reprinted in R. Montague, Formal Philosophy, Yale University Press, New Haven, CT, 1974, pp. 148-187.

Crossref

Google Scholar

[7]

The PSL Working Group, "PSL Ontology - Current Theories and Extensions," http://www.mel.nist.gov/psl/psl-ontology.

Google Scholar

[8]

Sandewall, E., Features and Fluents: The Representation of Knowledge about Dynamical Systems, Clarendon Press, Oxford, 1994.

Digital Library

Google Scholar

[9]

Wittgenstein, L., Tractatus Logico-Philosophicus, Routledge & Kegan Paul, London, 1922.

Digital Library

Google Scholar

Cited By

View all

Aameri BChui CGrüninger MHahmann TRu YBorgo SHitzler PShimizu C(2020)The FOUnt ontologies for quantities, units, and the physical worldApplied Ontology10.3233/AO-20023115:3(313-359)Online publication date: 1-Jan-2020
https://dl.acm.org/doi/10.3233/AO-200231
Fanesi DCacciagrano DHinkelmann K(2015)Semantic Business Process Representation to Enhance the Degree of BPM Mechanization - An OntologyProceedings of the 2015 International Conference on Enterprise Systems10.1109/ES.2015.10(21-32)Online publication date: 14-Oct-2015
https://dl.acm.org/doi/10.1109/ES.2015.10
Babaie H(2011)Modeling geodynamic processes with ontologiesGeoinformatics10.1017/CBO9780511976308.012(166-190)Online publication date: 25-Oct-2011
https://doi.org/10.1017/CBO9780511976308.012
Show More Cited By

Index Terms

A formal foundation for process modeling
1. Computing methodologies
  1. Artificial intelligence
    1. Knowledge representation and reasoning
2. Theory of computation
  1. Logic

Recommendations

Annotation modeling with formal ontologies: Implications for informal ontologies

Knowledge representation is increasingly recognized as an important component of any cyberinfrastructure (CI). In order to expediently address scientific needs, geoscientists continue to leverage the standards and implementations emerging from the World ...
Incremental Process Modeling through Stakeholder-Based Hybrid Process Simulation
ICSP '09: Proceedings of the International Conference on Software Process: Trustworthy Software Development Processes

Both the process modeling and process simulation are necessary components of process automation. A Process Modeling Language (PML) is a set of description tools that define processes attributes and constrains in a specific domain. Process modeling ...
Process design as basis for comprehensive process modeling
DESRIST'10: Proceedings of the 5th international conference on Global Perspectives on Design Science Research

Today, with process management generally established as a management tool, there is a stringed interest in process modeling Although there is a multitude of standard process modeling techniques available, often the modeling results are not satisfying ...

Comments

Information & Contributors

Information

Published In

FOIS '01: Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001

October 2001

362 pages

ISBN:1581133774

DOI:10.1145/505168

Conference Chairs:
Nicola Guarino,
Barry Smith
University at Buffalo, Buffalo, NY
,
Christopher Welty
Vassar College, Poughkeepsie, NY

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 17 October 2001

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

FOIS01

Sponsor:

SIGAI

FOIS01: 2nd International Conference on Formal Ontology in Information Systems

October 17 - 19, 2001

Maine, Ogunquit, USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

10
Total Citations
View Citations
870
Total Downloads

Downloads (Last 12 months)2
Downloads (Last 6 weeks)0

Reflects downloads up to 29 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Aameri BChui CGrüninger MHahmann TRu YBorgo SHitzler PShimizu C(2020)The FOUnt ontologies for quantities, units, and the physical worldApplied Ontology10.3233/AO-20023115:3(313-359)Online publication date: 1-Jan-2020
https://dl.acm.org/doi/10.3233/AO-200231
Fanesi DCacciagrano DHinkelmann K(2015)Semantic Business Process Representation to Enhance the Degree of BPM Mechanization - An OntologyProceedings of the 2015 International Conference on Enterprise Systems10.1109/ES.2015.10(21-32)Online publication date: 14-Oct-2015
https://dl.acm.org/doi/10.1109/ES.2015.10
Babaie H(2011)Modeling geodynamic processes with ontologiesGeoinformatics10.1017/CBO9780511976308.012(166-190)Online publication date: 25-Oct-2011
https://doi.org/10.1017/CBO9780511976308.012
Mendling JReijers HRecker J(2010)Activity labeling in process modelingInformation Systems10.1016/j.is.2009.03.00935:4(467-482)Online publication date: 1-Jun-2010
https://dl.acm.org/doi/10.1016/j.is.2009.03.009
Groener GStaab S(2009)Modeling and Query Patterns for Process Retrieval in OWLProceedings of the 8th International Semantic Web Conference10.1007/978-3-642-04930-9_16(243-259)Online publication date: 6-Nov-2009
https://dl.acm.org/doi/10.1007/978-3-642-04930-9_16
Grüninger M(2009)Using the PSL OntologyHandbook on Ontologies10.1007/978-3-540-92673-3_19(423-443)Online publication date: 22-May-2009
https://doi.org/10.1007/978-3-540-92673-3_19
Bock CGruninger M(2005)PSLSoftware and Systems Modeling (SoSyM)10.1007/s10270-004-0066-x4:2(209-231)Online publication date: 1-May-2005
https://dl.acm.org/doi/10.1007/s10270-004-0066-x
Kitamura YMizoguchi R(2004)Ontology-Based Functional-Knowledge Modeling Methodology and Its DeploymentEngineering Knowledge in the Age of the Semantic Web10.1007/978-3-540-30202-5_7(99-115)Online publication date: 2004
https://doi.org/10.1007/978-3-540-30202-5_7
Grüninger M(2004)Ontology of the Process Specification LanguageHandbook on Ontologies10.1007/978-3-540-24750-0_29(575-592)Online publication date: 2004
https://doi.org/10.1007/978-3-540-24750-0_29
Grüninger MMenzel C(2003)The process specification language (PSL) theory and applicationsAI Magazine10.5555/958671.95867724:3(63-74)Online publication date: 1-Sep-2003
https://dl.acm.org/doi/10.5555/958671.958677

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Abstract

References

Cited By

Index Terms

Recommendations

Annotation modeling with formal ontologies: Implications for informal ontologies

Incremental Process Modeling through Stakeholder-Based Hybrid Process Simulation

Process design as basis for comprehensive process modeling

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Login options

Full Access

View options

PDF

eReader

Share

Share this Publication link

Share on social media

Affiliations