Modelling Concurrent Behaviors in the Process Specification Language
Dai Tri Man Le
TL;DR
This paper introduces a first-order ontology for generalized stratified order structures, classifies its models using model theory, and maps it to the core Process Specification Language theory.
Contribution
It presents a novel ontology for stratified order structures and connects it to existing process specification frameworks.
Findings
Ontology classification via model-theoretic techniques
Mapping to Process Specification Language established
Enhanced understanding of concurrent behavior modeling
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsBusiness Process Modeling and Analysis · Semantic Web and Ontologies · Service-Oriented Architecture and Web Services