• Publications
  • Influence
Service Interaction: Patterns, Formalization, and Analysis
TLDR
A set of service interaction patterns is given to illustrate the challenges in this domain. Expand
  • 118
  • 7
  • PDF
Reducing Adapter Synthesis to Controller Synthesis
TLDR
Service-oriented computing aims to create complex systems by composing less-complex systems, called services. Expand
  • 71
  • 5
Constructing Replaceable Services Using Operating Guidelines and Maximal Controllers
TLDR
We address the replacement of services that are stateful rather than stateless, i. Expand
  • 19
  • 4
  • PDF
Realizability Criteria for Compositional MSC
TLDR
We extend the partial order semantics of [Pra86] with a way to model deadlocks and with a more sophisticated way to address communication. Expand
  • 12
  • 3
  • PDF
Relating fair testing and accordance for service replaceability
TLDR
We study the relation between accordance and the pre-orders known from the linear-branching time spectrum, notably fair testing. Expand
  • 23
  • 2
  • PDF
Non-local Choice and Beyond: Intricacies of MSC Choice Nodes
TLDR
In this paper we characterize two additional problematic classes of choice nodes and introduce a new implementation approach for non-local choice. Expand
  • 26
  • 2
  • PDF
Soundness-Preserving Refinements of Service Compositions
TLDR
We study compositional design methods that ensure correctness of service compositions based on properties of communicating pairs of services. Expand
  • 17
  • 2
  • PDF
User-guided discovery of declarative process models
TLDR
We introduce a novel approach to discover declarative models from logs that allows users to guide the discovery process towards specific properties. Expand
  • 93
  • 1
  • PDF
Specifying and generating behavioral service adapters based on transformation rules
TLDR
We present a novel approach for specifying such adapters, based on domain-specific transformation rules that reflect the elementary operations that adapters can perform. Expand
  • 28
  • 1
Streamlining progress-based derivations of concurrent programs
TLDR
In this work, we explore derivation techniques of concurrent programs using progress-based reasoning. Expand
  • 12
  • 1
  • PDF