Petri nets: an introduction
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Free choice Petri nets
Branching time and abstraction in bisimulation semantics
Journal of the ACM (JACM)
Why interaction is more powerful than algorithms
Communications of the ACM
Model checking
Communication and Concurrency
Modular Construction and Partial Order Semantics of Petri Nets
Modular Construction and Partial Order Semantics of Petri Nets
Distributed and Parallel Databases
Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions
Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions
Workflow Management: Models, Methods, and Systems
Workflow Management: Models, Methods, and Systems
A formal approach to component adaptation
Journal of Systems and Software - Special issue: Automated component-based software engineering
Process Aware Information Systems: Bridging People and Software Through Process Technology
Process Aware Information Systems: Bridging People and Software Through Process Technology
Operating Guidelines - an Automata-Theoretic Foundation for the Service-Oriented Architecture
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
On the semantics of software adaptation
Science of Computer Programming - Special issue on second international workshop on foundations of coordination languages and software architectures (FOCLASA'03)
Service Interaction Modeling: Bridging Global and Local Views
EDOC '06 Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference
Semi-automated adaptation of service interactions
Proceedings of the 16th international conference on World Wide Web
Analyzing interacting WS-BPEL processes using flexible model generation
Data & Knowledge Engineering
A theory of contracts for web services
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Can I find a partner? Undecidability of partner existence for open nets
Information Processing Letters
Model-Based Adaptation of Behavioral Mismatching Components
IEEE Transactions on Software Engineering
Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
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
Formalizing Web Service Choreographies
Electronic Notes in Theoretical Computer Science (ENTCS)
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
Contract based multi-party service composition
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
The conceptualization of a configurable multi-party multi-message request-reply conversation
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
From public views to private views: correctness-by-design for services
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
Behavioral constraints for services
BPM'07 Proceedings of the 5th international conference on Business process management
Web Services: Concepts, Architectures and Applications
Web Services: Concepts, Architectures and Applications
Automated generation of BPEL adapters
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Adapt or perish: algebra and visual notation for service interface adaptation
BPM'06 Proceedings of the 4th international conference on Business Process Management
Formalizing service interactions
BPM'06 Proceedings of the 4th international conference on Business Process Management
Workflow resource patterns: identification, representation and tool support
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Developing adapters for web services integration
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Workflow data patterns: identification, representation and tool support
ER'05 Proceedings of the 24th international conference on Conceptual Modeling
Interaction-centric modeling of process choreographies
Information Systems
Non-functional concerns in web services: requirements and state of the art analysis
Proceedings of the 12th International Conference on Information Integration and Web-based Applications & Services
Service research challenges and solutions for the future internet
CorPN: managing instance correspondence in collaborative business processes
Distributed and Parallel Databases
Business process architecture: use and correctness
BPM'12 Proceedings of the 10th international conference on Business Process Management
Analyzing business process architectures
CAiSE'13 Proceedings of the 25th international conference on Advanced Information Systems Engineering
Challenges in service mining: record, check, discover
ICWE'13 Proceedings of the 13th international conference on Web Engineering
Business process architectures with multiplicities: transformation and correctness
BPM'13 Proceedings of the 11th international conference on Business Process Management
Service net algebra based on logic Petri nets
Information Sciences: an International Journal
| Hi-index | 0.00 |
As systems become more service oriented and processes increasingly cross organizational boundaries, interaction becomes more important. New technologies support the development of such systems. However, the paradigm shift towards service orientation, requires a fundamentally different way of looking at processes. This survey aims to provide some foundational notions related to service interaction. A set of service interaction patterns is given to illustrate the challenges in this domain. Moreover, key results are given for three of these challenges: (1) How to expose a service?, (2) How to replace and refine services?, and (3) How to generate service adapters? These challenges will be addressed in a Petri net setting. However, the results extend to other languages used in this domain.