Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems (Q5505610): Difference between revisions

@@ Property / describes a project that uses @@
+Bogor
@@ Property / describes a project that uses: Bogor / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CheckVML
@@ Property / describes a project that uses: CheckVML / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GROOVE
@@ Property / describes a project that uses: GROOVE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+AGG
@@ Property / describes a project that uses: AGG / 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.1007/978-3-540-85762-4_21
+Normal rank
@@ Property / OpenAlex ID @@
+W1559250605
@@ Property / OpenAlex ID: W1559250605 / rank @@
+Normal rank
@@ Property / cites work @@
+Web services. Concepts, architectures and applications
+Normal rank
@@ Property / cites work @@
+Q4438799
@@ Property / cites work: Q4438799 / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of Graph Grammars and Computing by Graph Transformation
+Normal rank
@@ Property / cites work @@
+``UML'' 2001 - The unified modeling language. Modeling languages, concepts, and tools. 4th international conference, Toronto, Canada, October 1--5, 2001. Proceedings
+Normal rank
@@ Property / cites work @@
+Analysis of UML Activities Using Dynamic Meta Modeling
+Normal rank
@@ Property / cites work @@
+NuSMV: A new symbolic model checker
@@ Property / cites work: NuSMV: A new symbolic model checker / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767182
@@ Property / cites work: Q2767182 / rank @@
+Normal rank
@@ Property / cites work @@
+Global Computing
@@ Property / cites work: Global Computing / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5505610