A
Arjan J. Mooij
Researcher at Eindhoven University of Technology
Publications - 46
Citations - 771
Arjan J. Mooij is an academic researcher from Eindhoven University of Technology. The author has contributed to research in topics: Correctness & Petri net. The author has an hindex of 14, co-authored 45 publications receiving 740 citations. Previous affiliations of Arjan J. Mooij include University of Nottingham.
Papers
More filters
Proceedings ArticleDOI
User-guided discovery of declarative process models
TL;DR: In this paper, the authors use DECLARE, a declarative language that provides more flexibility than conventional procedural notations such as BPMN, Petri nets, UML ADs, EPCs and BPEL.
Book ChapterDOI
Service Interaction: Patterns, Formalization, and Analysis
TL;DR: A set of service interaction patterns is given to illustrate the challenges in this domain and key results are given for three of these challenges: how to expose a service, how to replace and refine services, and how to generate service adapters.
Journal ArticleDOI
Reducing Adapter Synthesis to Controller Synthesis
TL;DR: A novel approach for specifying Behavioral adapters, based on domain-specific transformation rules that reflect the elementary operations that adapters can perform, is presented, and a novel way to synthesize complex adapters that adhere to these rules is presented by consistently separating data and control.
Book ChapterDOI
Non-local choice and beyond: intricacies of MSC choice nodes
TL;DR: This paper characterize two additional problematic classes of choice nodes and motivates a different choice semantics which allows a little more behavior in pragmatic implementations of non-local choice.
Journal ArticleDOI
Relating fair testing and accordance for service replaceability
TL;DR: This work relates the accordance pre-order to the pre-orders known from the linear–branching time spectrum, notably fair testing, and addresses the practical relevance of the introduced concepts.