• Publications
  • Influence
Web Service Composition Approaches: From Industrial Standards to Formal Methods
TLDR
We propose the use of formal models, and their tool support, to increase one's confidence in web service compositions. Expand
  • 158
  • 7
  • PDF
Formal Description of Variability in Product Families
TLDR
We illustrate how to manage variability in a single logical framework consisting of a Modal Transition System (MTS) and an associated set of formulae expressed in the branching-time temporal logic MHML interpreted in a deontic way over such MTSs. Expand
  • 100
  • 6
  • PDF
Synchronizations in Team Automata for Groupware Systems
TLDR
Team automata have been proposed in Ellis (1997) as a formal framework for modeling both the conceptual and the architectural level of groupware systems. Expand
  • 79
  • 5
  • PDF
A Survey on Service Composition Approaches : From Industrial Standards to Formal Methods ?
Composition of services has received much interest to support business-to-business and enterprise applications integration. The business world has developed a number of XML-based standards toExpand
  • 89
  • 4
  • PDF
Formal Methods for Service Composition
Current approaches to service composition range from industrial standards (like BPEL and OWL-S) to formal methods (like Petri nets and process algebras). In this paper, we survey several suchExpand
  • 71
  • 4
  • PDF
A state/event-based model-checking approach for the analysis of abstract system properties
TLDR
We present the UMC framework for the formal analysis of concurrent systems specified by collections of UML state machines. Expand
  • 89
  • 2
  • PDF
An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications
TLDR
In this paper we present an action/state-based logical frameworkfor the analysis and verification of complex systems, which relies onthe definition of doubly labelled transition systems. Expand
  • 56
  • 2
  • PDF
Formal verification of an automotive scenario in service-oriented computing
TLDR
We report on the successful application of academic experience with formal modelling and verification techniques to an automotive scenario from the service-oriented computing domain to verify a priori, thus before implementation, certain design issues. Expand
  • 37
  • 2
  • PDF
Team Automata: A Formal Approach to the Modeling of Collaboration Between System Components
  • M. Beek
  • Engineering, Computer Science
  • 10 December 2003
TLDR
This thesis studies formal aspects of team automata, a mathematical framework introduced in 1997 by C.A. Ellis to model components of groupware systems and their interconnections. Expand
  • 104
  • 2
Family-Based Model Checking with mCRL2
TLDR
We present an approach for family-based verification based on the feature $$\mu $$-calculus$$\mu L {}_f$$, which combines modalities with feature expressions. Expand
  • 28
  • 2
  • PDF
...
1
2
3
4
5
...