• Publications
  • Influence
Information Integration for Concurrent Engineering (IICE) IDEF3 Process Description Capture Method Report
IDEF3 includes the ability to capture and structure descriptions of how a system works from multiple viewpoints, and works well in independent application or in concert with other IDEF methods to document, analyze, and improve the vital processes of a business. Expand
The Process Specification Language (PSL) Theory and Applications
An overview of the theories within the PSL ontology is given, some of the design principles for theOntology are discussed, and examples of process specifications that are based on the ontology are finished. Expand
The IDEF Family of Languages
The purpose of this contribution is to serve as a clear introduction to the modeling languages of the three most widely used IDEF methods: IDEFO, IDEF1X, and IDEF3. Each language is presented inExpand
A Semantics for the Knowledge Interchange Format
It is shown that quantification over relations is possible in a first-order logic, but sequence variables take the language beyond first- order. Expand
Logic and Reality: Essays on the Legacy of Arthur Prior
A N Prior has a special place in the history of postwar philosophy for his highly original work at the intersection of logic and metaphysics. His logical innovations have found many applications inExpand
The basic notion of justification
ConclusionOur tasks are then complete. We offered, in J7, a defensible claim that there is a relation of necessity and sufficiency between doxastic and propositional justification. We claimed as wellExpand
A formal foundation for process modeling
A simple mathematical model of activities and instances based upon the model theory for the NIST Process Specification Language (PSL), a simple language for describing entities, and a semantics for the latter in terms of the former. Expand
Actualism, ontological commitment, and possible world semantics
It is argued that one can take possible world semantics seriously and yet remain in full compliance with actualist scruples. Expand
Toward a method for acquiring CIM ontologies
An ontology capture method is essential to developing practical CIM ontologies because it facilitates the direct capture of CIM knowledge by practitioners within the manufacturing domain. Expand