A formal foundation for process modeling

Formal Ontology in Information Systems: Collected Papers from the Second International Conference

Volumn , Issue , 2001, Pages 256-269

  Menzel, Christopher ^a   Grüninger, Michael ^b  

^a TEXAS A AND M UNIVERSITY   (United States)

^b UNIVERSITY OF MARYLAND   (United States)

Author keywords

Formal ontology; Process modeling; Process Specification Language; PSL

Indexed keywords

KNOWLEDGE REPRESENTATION; MATHEMATICAL MODELS; SEMANTICS;

PROCESS MODELING;

PROCESS ENGINEERING;

EID: 0035789212     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/505168.505193     Document Type: Conference Paper

References (9)

1. van Benthem, J. F. A. K., The Logic of Time, D. Reidel Publishing Co., Dordrecht, 1983.
2. Hayes, P. J., "A Catalog of Temporal Theories," Tech report UIUC-BI-AI-96-01, University of Illinois, 1995.
3. Kripke, S., "Semantic Considerations on Modal Logic," Acta Philosophica Fennica 24 (1963), 83-94.
4. Marti-Oliet, N., and J. Meseguer, "From Petri Nets to Linear Logic," Mathematical Structures in Computer Science 1(1), 69-101, 1991.
5. Mendelson, E., Introduction to Mathematical Logic, 4th edition, International Thomson Publishers, New York, 1997.
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.
7. The PSL Working Group, "PSL Ontology - Current Theories and Extensions," http://www.mel.nist.gov/psl/psl-ontology.
8. Sandewall, E., Features and Fluents: The Representation of Knowledge about Dynamical Systems, Clarendon Press, Oxford, 1994.
9. Wittgenstein, L., Tractatus Logico-Philosophicus, Routledge & Kegan Paul, London, 1922.