Supervisory control of a class of discrete event processes
SIAM Journal on Control and Optimization
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
Compositional Minimization of Finite State Systems
CAV '90 Proceedings of the 2nd International Workshop on Computer Aided Verification
Modeling and verification of parallel processes
CTR-S: a logic for specifying contracts in semantic web services
Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters
Operating Guidelines - an Automata-Theoretic Foundation for the Service-Oriented Architecture
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Representing, analysing and managing web service protocols
Data & Knowledge Engineering - Special issue: ER 2004
Introduction to Discrete Event Systems
Introduction to Discrete Event Systems
Operating guidelines for finite-state services
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Modeling web services by iterative reformulation of functional and non-functional requirements
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Analyzing interacting BPEL processes
BPM'06 Proceedings of the 4th international conference on Business Process Management
Composition of services with nondeterministic observable behavior
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Covering Places and Transitions in Open Nets
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Building Mashups for the Enterprise with SABRE
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Data & Knowledge Engineering
Does My Service Have Partners?
Transactions on Petri Nets and Other Models of Concurrency II
Deciding Substitutability of Services with Operating Guidelines
Transactions on Petri Nets and Other Models of Concurrency II
Why Does My Service Have No Partners?
Web Services and Formal Methods
Proof Techniques for Adapter Generation
Web Services and Formal Methods
Deciding service composition and substitutability using extended operating guidelines
Data & Knowledge Engineering
Service Interaction: Patterns, Formalization, and Analysis
Formal Methods for Web Services
Set Algebra for Service Behavior: Applications and Constructions
BPM '09 Proceedings of the 7th International Conference on Business Process Management
Analyzing BPEL4Chor: verification and participant synthesis
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
Correctness ensuring process configuration: an approach based on partner synthesis
BPM'10 Proceedings of the 8th international conference on Business process management
Constructing replaceable services using operating guidelines and maximal controllers
WS-FM'10 Proceedings of the 7th international conference on Web services and formal methods
Compliance by design for artifact-centric business processes
BPM'11 Proceedings of the 9th international conference on Business process management
Ensuring correctness during process configuration via partner synthesis
Information Systems
Wendy: a tool to synthesize partners for services
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
Wendy: A Tool to Synthesize Partners for Services
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010
Compliance by design for artifact-centric business processes
Information Systems
Hi-index | 0.00 |
In service-oriented architectures (SOA), deadlock-free interactionof services is an important correctness criterion. To support servicediscovery in an SOA, operating guidelines serve as a structure to characterizeall deadlock-freely interacting partners of a services. In practice,however, there are intended and unintended deadlock-freely interactingpartners of a service. In this paper, we provide a formal approach to expressintended and unintended behavior as behavioral constraints. Withsuch a constraint, unintended partners can be "filtered" yielding a customizedoperating guideline. Customized operating guidelines can be appliedto validate a service and for service discovery.