Regular types for active objects
Object-oriented software composition
Protocol specifications and component adaptors
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
Compatibility and inheritance in software architectures
Science of Computer Programming
Communication and Concurrency
IEEE Transactions on Software Engineering
A formal approach to component adaptation
Journal of Systems and Software - Special issue: Automated component-based software engineering
Theoretical foundations for compensations in flow composition languages
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A petri net semantics for web service choreography
Proceedings of the 2007 ACM symposium on Applied computing
Choreography frameworks for business integration: Addressing heterogeneous semantics
Computers in Industry
Configurations of Web Services
Electronic Notes in Theoretical Computer Science (ENTCS)
A reuse-based approach to the correct and automatic composition of web-services
International workshop on Engineering of software services for pervasive environments: in conjunction with the 6th ESEC/FSE joint meeting
West2East: exploiting WEb Service Technologies to Engineer Agent-based SofTware
International Journal of Agent-Oriented Software Engineering
A Rigorous Model of Service Component Architecture
Electronic Notes in Theoretical Computer Science (ENTCS)
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part I on On the Move to Meaningful Internet Systems:
The process mediation framework for semantic web services
International Journal of Agent-Oriented Software Engineering
A Denotational Model for Web Services Choreography
ICDCIT '08 Proceedings of the 5th International Conference on Distributed Computing and Internet Technology
Does My Service Have Partners?
Transactions on Petri Nets and Other Models of Concurrency II
A perspective on service orchestration
Science of Computer Programming
Service Interaction: Patterns, Formalization, and Analysis
Formal Methods for Web Services
Analysing scientific workflows with Computational Tree Logic
Cluster Computing
Formalizing WSBPEL Business Processes Using Process Algebra
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards the Semantics and Verification of BPEL4WS
Electronic Notes in Theoretical Computer Science (ENTCS)
Regulating data exchange in service oriented applications
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Soundness verification of business processes specified in the Pi-calculus
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
Extending model checking to data-aware temporal properties of web services
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
Dynamic composition of medical support services in the ICU: Platform and algorithm design details
Computer Methods and Programs in Biomedicine
Web services choreography validation
Service Oriented Computing and Applications
When are two web services compatible?
TES'04 Proceedings of the 5th international conference on Technologies for E-Services
Using process algebra for web services: early results and perspectives
TES'04 Proceedings of the 5th international conference on Technologies for E-Services
Automated generation of BPEL adapters
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
From inter-organizational workflows to process execution: generating BPEL from WS-CDL
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems
Web service collaboration analysis via automata
WAIM'05 Proceedings of the 6th international conference on Advances in Web-Age Information Management
Towards the semantics for web service choreography description language
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Type checking choreography description language
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Formalizing service interactions
BPM'06 Proceedings of the 4th international conference on Business Process Management
Science of Computer Programming
Grid services adaptation in a grid workflow
GCC'05 Proceedings of the 4th international conference on Grid and Cooperative Computing
Analysis of realizability conditions for web service choreographies
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Choreography and orchestration: a synergic approach for system design
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
EUC'06 Proceedings of the 2006 international conference on Emerging Directions in Embedded and Ubiquitous Computing
Using the π-calculus for formalizing workflow patterns
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Reasoning about interaction patterns in choreography
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
Choreography conformance analysis: asynchronous communications and information alignment
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Towards the formal model and verification of web service choreography description language
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Modeling service compatibility with pi-calculus for choreography
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
Analysis of web services composition and substitution via CCS
DEECS'06 Proceedings of the Second international conference on Data Engineering Issues in E-Commerce and Services
A logical view of choreography
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Modeling long–running transactions with communicating hierarchical timed automata
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Theoretical foundations of scope-based compensable flow language for web service
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
System integration by developing adapters using a database abstraction
Information and Software Technology
A Survey of Web Services Provision
International Journal of Systems and Service-Oriented Engineering
Analyzing and completing middleware designs for enterprise integration using coloured petri nets
CAiSE'13 Proceedings of the 25th international conference on Advanced Information Systems Engineering
The WTE+ framework: automated construction and runtime adaptation of service mashups
Automated Software Engineering
Algorithms for checking channel passing in web service choreography
Frontiers of Computer Science: Selected Publications from Chinese Universities
| Hi-index | 0.00 |
Current Web service choreography proposals, such as BPEL4WS, BPSS, WSFL, WSCDL or WSCI, provide notations for describing the message flows in Web service collaborations. However, such proposals remain at the descriptive level, without providing any kind of reasoning mechanisms or tool support for checking the compatibility of Web services based on the proposed notations. In this paper we present the formalization of one of these Web service choreography proposals (WSCI), and discuss the benefits that can be obtained by such formalization. In particular, we show how to check whether two or more Web services are compatible to interoperate or not, and, if not, whether the specification of adaptors that mediate between them can be automatically generated -hence enabling the communication of (a priori) incompatible Web services.