Using Alloy in process modelling

Systems thinking, systems practice

European Journal of Operational Research · 1982 · 3.6K citations

System Of System, Systems Approaches, Engineering +7

Business Processes: Modelling and Analysis for Re-Engineering and Improvement.

John Wilson, M. A. Ould · Journal of the Operational Research Society · 1996 · 438 citations

Automating first-order relational logic

Daniel Jackson · 2000 · 195 citations

Applied Logic, Computational Logic, First-order Relational Logic +13

Semantics and Verification of UML Activity Diagrams for Workflow Modelling

Rik Eshuis · 2002 · 176 citations · Full text

Uml Activity Diagrams, Engineering, Verification +20

A micromodularity mechanism

Daniel Jackson, Ilya Shlyakhter, Manu Sridharan · 2001 · 151 citations

Engineering, Extension Feature, Semantics +18