Theoretical Computer Science
Protocol specifications and component adaptors
ACM Transactions on Programming Languages and Systems (TOPLAS)
IEEE Transactions on Software Engineering
Removing epsilon-Transitions in Timed Automata
STACS '97 Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science
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
Web Service Conversation Modeling: A Cornerstone for E-Business Automation
IEEE Internet Computing
WWW '05 Proceedings of the 14th international conference on World Wide Web
Service Mosaic: A Model-Driven Framework for Web Services Life-Cycle Management
IEEE Internet Computing
Web Services: Concepts, Architectures and Applications
Web Services: Concepts, Architectures and Applications
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
Timed Properties-Aware Asynchronous Web Service Composition
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:
Sound Multi-party Business Protocols for Service Networks
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Asynchronous Timed Web Service-Aware Choreography Analysis
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
A Net-based Approach to Web Services Publication and Replaceability
Fundamenta Informaticae - Petri Nets 2008
Analysis and applications of timed service protocols
ACM Transactions on Software Engineering and Methodology (TOSEM)
Towards a quality model for choreography
ICSOC/ServiceWave'09 Proceedings of the 2009 international conference on Service-oriented computing
A Net-based Approach to Web Services Publication and Replaceability
Fundamenta Informaticae - Petri Nets 2008
Assessing the replaceability of service protocols in mediated service interactions
Future Generation Computer Systems
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 |
We deal with the problem of automated analysis of web service protocol compatibility and replaceability in presence of timing abstractions. We first present a timed protocol model for services and identify different levels of compatibility and replaceability that are useful to support service development and evolution. Next, we present operators that can perform such analysis. Finally, we present operators properties by showing that timed protocols form a new class of timed automata, and we briefly present our implementation.