Modelling Concurrent Behaviors in the Process Specification Language

07/16/2009

∙

by   Dai Tri Man Le, et al.

∙

0

∙

share

In this paper, we propose a first-order ontology for generalized stratified order structure. We then classify the models of the theory using model-theoretic techniques. An ontology mapping from this ontology to the core theory of Process Specification Language is also discussed.