Transitive closure algorithms based on graph traversal
ACM Transactions on Database Systems (TODS)
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
Protocol specifications and component adaptors
ACM Transactions on Programming Languages and Systems (TOPLAS)
An assume-guarantee rule for checking simulation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Simulation, verification and automated composition of web services
Proceedings of the 11th international conference on World Wide Web
Communication and Concurrency
IEEE Transactions on Software Engineering
The Linear Time-Branching Time Spectrum (Extended Abstract)
CONCUR '90 Proceedings of the Theories of Concurrency: Unification and Extension
Modeling E -service Orchestration through Petri Nets
TES '02 Proceedings of the Third International Workshop on Technologies for E-Services
Petri Nets, Process Algebras and Concurrent Programming Languages
Lectures on Petri Nets II: Applications, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
E-services: a look behind the curtain
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Conversation specification: a new approach to design and analysis of e-service composition
WWW '03 Proceedings of the 12th international conference on World Wide Web
Business-to-business interactions: issues and enabling technologies
The VLDB Journal — The International Journal on Very Large Data Bases
A Petri net-based model for web service composition
ADC '03 Proceedings of the 14th Australasian database conference - Volume 17
B2b Integration
Introduction: Service-oriented computing
Communications of the ACM - Service-oriented computing
Web Service Conversation Modeling: A Cornerstone for E-Business Automation
IEEE Internet Computing
QoS-Aware Middleware for Web Services Composition
IEEE Transactions on Software Engineering
Matchmaking for Business Processes Based on Choreographies
EEE '04 Proceedings of the 2004 IEEE International Conference on e-Technology, e-Commerce and e-Service (EEE'04)
Interoperability among independently evolving web services
Proceedings of the 5th ACM/IFIP/USENIX international conference on Middleware
Model-Driven Trust Negotiation for Web Services
IEEE Internet Computing
Similarity search for web services
VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
Conceptual modeling of web service conversations
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
When are two web services compatible?
TES'04 Proceedings of the 5th international conference on Technologies for E-Services
Developing adapters for web services integration
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
ServiceMosaic project: modeling, analysis and management of web services interactions
APCCM '06 Proceedings of the 3rd Asia-Pacific conference on Conceptual modelling - Volume 53
Semi-automated adaptation of service interactions
Proceedings of the 16th international conference on World Wide Web
A framework for managing the evolution of business protocols in web services
APCCM '07 Proceedings of the fourth Asia-Pacific conference on Comceptual modelling - Volume 67
Supporting the dynamic evolution of Web service protocols in service-oriented architectures
ACM Transactions on the Web (TWEB)
Extending the compatibility notion for abstract WS-BPEL processes
Proceedings of the 17th international conference on World Wide Web
Behavioral analysis of web services for supporting mediated service interoperations
Proceedings of the 10th international conference on Electronic commerce
ER '08 Proceedings of the ER 2008 Workshops (CMLSA, ECDM, FP-UML, M2AS, RIGiM, SeCoGIS, WISM) on Advances in Conceptual Modeling: Challenges and Opportunities
Formal Model for Semantic-Driven Service Execution
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
Protocol-Based Web Service Composition
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Sound Multi-party Business Protocols for Service Networks
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Deciding Substitutability of Services with Operating Guidelines
Transactions on Petri Nets and Other Models of Concurrency II
Detecting Behavioural Incompatibilities between Pairs of Services
Service-Oriented Computing --- ICSOC 2008 Workshops
Assembling Composite Web Services from Autonomous Components
Proceedings of the 2007 conference on Emerging Artificial Intelligence Applications in Computer Engineering: Real Word AI Systems with Applications in eHealth, HCI, Information Retrieval and Pervasive Technologies
Dynamic Execution of Coordination Protocols in Open and Distributed Multi-Agent Systems
KES-AMSTA '09 Proceedings of the Third KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
Engineering deontic protocols by means of organizational Petri nets
Engineering Applications of Artificial Intelligence
Declarative specification and verification of service choreographiess
ACM Transactions on the Web (TWEB)
Assessment of Service Protocols Adaptability Using a Novel Path Computation Technique
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part I
Analysis and applications of timed service protocols
ACM Transactions on Software Engineering and Methodology (TOSEM)
Conceptual modeling of privacy-aware web service protocols
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
Protocol-aware matching of web service interfaces for adapter development
Proceedings of the 19th international conference on World wide web
Process mediation based on triple space computing
APWeb'08 Proceedings of the 10th Asia-Pacific web conference on Progress in WWW research and development
Behavioral constraints for services
BPM'07 Proceedings of the 5th international conference on Business process management
A service-oriented approach to web warehousing
Proceedings of the 11th International Conference on Information Integration and Web-based Applications & Services
Specification and verification of harmonized business-process collaborations
Information Systems Frontiers
Synthesis of orchestrators from service choreographies
APCCM '09 Proceedings of the Sixth Asia-Pacific Conference on Conceptual Modeling - Volume 96
Translating shared state based ebXML BPSS models to WS-BPEL
International Journal of Business Intelligence and Data Mining
Modeling and reasoning about service-oriented applications via goals and commitments
CAiSE'10 Proceedings of the 22nd international conference on Advanced information systems engineering
A formal model for service mediators
ER'10 Proceedings of the 2010 international conference on Advances in conceptual modeling: applications and challenges
Model driven orchestration: design for service compatibility
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
An interface theory for service-oriented design
FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
Constructing replaceable services using operating guidelines and maximal controllers
WS-FM'10 Proceedings of the 7th international conference on Web services and formal methods
SEPL--a domain-specific language and execution environment for protocols of stateful Web services
Distributed and Parallel Databases
Event correlation for process discovery from web service interaction logs
The VLDB Journal — The International Journal on Very Large Data Bases
Perceived consistency between process models
Information Systems
Correctness properties for multiagent systems
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
Assessing the replaceability of service protocols in mediated service interactions
Future Generation Computer Systems
Protocol-Level Service Composition Mismatches: A Petri Net Siphon Based Solution
International Journal of Web Services Research
Design for service compatibility
Software and Systems Modeling (SoSyM)
An interface theory for service-oriented design
Theoretical Computer Science
From Implicit to Explicit Transitions in Business Protocols: A Semantic-Based Transformation
International Journal of Web Services Research
From Implicit to Explicit Transitions in Business Protocols: A Semantic-Based Transformation
International Journal of Web Services Research
A survey of change management in service-based environments
Service Oriented Computing and Applications
Hi-index | 0.00 |
In the area of Web services and service-oriented architectures, business protocols are rapidly gaining importance and mindshare as a necessary part of Web service descriptions. Their immediate benefit is that they provide developers with information on how to write clients that can correctly interact with a given service or with a set of services. In addition, once protocols become an accepted practice and service descriptions become endowed with protocol information, the middleware can be significantly extended to better support service development, binding, and execution in a number of ways, considerably simplifying the whole service life-cycle. This paper discusses the different ways in which the middleware can leverage protocol descriptions, and focuses in particular on the notions of protocol compatibility, equivalence, and replaceability. They characterize whether two services can interact based on their protocol definition, whether a service can replace another in general or when interacting with specific clients, and which are the set of possible interactions among two services.