Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN (Q983197): Difference between revisions

@@ Property / author @@
-Lawrence M. L. Chung
@@ Property / author: Lawrence M. L. Chung / rank @@
-Normal rank
@@ Property / author @@
+Lawrence M. L. Chung
@@ Property / author: Lawrence M. L. Chung / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Pellet
@@ Property / describes a project that uses: Pellet / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Proclets
@@ Property / describes a project that uses: Proclets / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Protege
@@ Property / describes a project that uses: Protege / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+YAWL
@@ Property / describes a project that uses: YAWL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+swrl
@@ Property / describes a project that uses: swrl / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.scico.2009.05.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2055724467
@@ Property / OpenAlex ID: W2055724467 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4406531
@@ Property / cites work: Q4406531 / rank @@
+Normal rank
@@ Property / cites work @@
+The importance of business process modeling in software systems design
+Normal rank
@@ Property / cites work @@
+A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models
+Normal rank
@@ Property / cites work @@
+Reasoning on UML class diagrams
@@ Property / cites work: Reasoning on UML class diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769607
@@ Property / cites work: Q2769607 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4535175
@@ Property / cites work: Q4535175 / rank @@
+Normal rank
@@ Property / cites work @@
+Lectures on Concurrency and Petri Nets
@@ Property / cites work: Lectures on Concurrency and Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+An epistemic operator for description logics
@@ Property / cites work: An epistemic operator for description logics / rank @@
+Normal rank
@@ Property / cites work @@
+Definition and use of computation independent models in an MDA-based groupware development process
+Normal rank
@@ Property / cites work @@
+Q4420344
@@ Property / cites work: Q4420344 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4938424
@@ Property / cites work: Q4938424 / rank @@
+Normal rank
@@ Property / cites work @@
+Lectures on Concurrency and Petri Nets
@@ Property / cites work: Lectures on Concurrency and Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Performance-related ontologies and semantic web applications for on-line performance assessment of intelligent systems
+Normal rank
@@ Property / cites work @@
+Formal semantics and analysis of control flow in WS-BPEL
+Normal rank