Theoretical Computer Science
Protocol specifications and component adaptors
ACM Transactions on Programming Languages and Systems (TOPLAS)
Event-clock automata: a determinizable class of timed automata
Theoretical Computer Science
Characterization of the expressive power of silent transitions in timed automata
Fundamenta Informaticae
Timed automata and additive clock constraints
Information Processing Letters
Introduction to Automata Theory, Languages and Computability
Introduction to Automata Theory, Languages and Computability
Temporal Reasoning in Workflow Systems
Distributed and Parallel Databases
Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications
Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications
IEEE Transactions on Software Engineering
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Removing epsilon-Transitions in Timed Automata
STACS '97 Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science
A survey of approaches to automatic schema matching
The VLDB Journal — The International Journal on Very Large Data Bases
Introduction: Service-oriented computing
Communications of the ACM - Service-oriented computing
Web Service Conversation Modeling: A Cornerstone for E-Business Automation
IEEE Internet Computing
Analysis of interacting BPEL web services
Proceedings of the 13th international conference on World Wide Web
Theoretical Computer Science
Industrial-strength schema matching
ACM SIGMOD Record
WWW '05 Proceedings of the 14th international conference on World Wide Web
Analyzing Conversations of Web Services
IEEE Internet Computing
AICT-ICIW '06 Proceedings of the Advanced Int'l Conference on Telecommunications and Int'l Conference on Internet and Web Applications and Services
Leveraging Eclipse for integrated model-based engineering of web service compositions
eclipse '05 Proceedings of the 2005 OOPSLA workshop on Eclipse technology eXchange
Timed Modelling and Analysis inWeb Service Compositions
ARES '06 Proceedings of the First International Conference on Availability, Reliability and Security
An automaton-based approach to the verification of timed workflow schemas
TIME '06 Proceedings of the Thirteenth International Symposium on Temporal Representation and Reasoning
Service Mosaic: A Model-Driven Framework for Web Services Life-Cycle Management
IEEE Internet Computing
Representing, analysing and managing web service protocols
Data & Knowledge Engineering - Special issue: ER 2004
Towards the theoretical foundation of choreography
Proceedings of the 16th international conference on World Wide Web
Semi-automated adaptation of service interactions
Proceedings of the 16th international conference on World Wide Web
Matching and Merging of Statecharts Specifications
ICSE '07 Proceedings of the 29th international conference on Software Engineering
SYNASC '06 Proceedings of the Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
Modeling Interactions of Web Software
WWV '06 Proceedings of the 2nd Int'l. Workshop on Automated Specification and Verification of Web Systems
Finite State Automata As Conceptual Model For E-Services
Journal of Integrated Design & Process Science
Conceptual modeling of web service conversations
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
Fine-grained compatibility and replaceability analysis of timed web service protocols
ER'07 Proceedings of the 26th international conference on Conceptual modeling
An aspect-oriented framework for service adaptation
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Diagonal constraints in timed automata: forward analysis of timed systems
FORMATS'05 Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems
Developing adapters for web services integration
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
A graph-based design framework for services
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Hi-index | 0.01 |
Web services are increasingly gaining acceptance as a framework for facilitating application-to-application interactions within and across enterprises. It is commonly accepted that a service description should include not only the interface, but also the business protocol supported by the service. The present work focuses on the formalization of an important category of protocols that includes time-related constraints (called timed protocols), and the impact of time on compatibility and replaceability analysis. We formalized the following timing constraints: C-Invoke constraints define time windows within which a service operation can be invoked while M-Invoke constraints define expiration deadlines. We extended techniques for compatibility and replaceability analysis between timed protocols by using a semantic-preserving mapping between timed protocols and timed automata, leading to the identification of a novel class of timed automata, called protocol timed automata (PTA). PTA exhibit a particular kind of silent transition that strictly increase the expressiveness of the model, yet they are closed under complementation, making every type of compatibility or replaceability analysis decidable. Finally, we implemented our approach in the context of a larger project called ServiceMosaic, a model-driven framework for Web service life-cycle management.