Modelling Concurrent Behaviors in the Process Specification Language
Artificial Intelligence
2009-07-17 v1
Abstract
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.
Cite
@article{arxiv.0907.2775,
title = {Modelling Concurrent Behaviors in the Process Specification Language},
author = {Dai Tri Man Le},
journal= {arXiv preprint arXiv:0907.2775},
year = {2009}
}