Inheritance as an incremental modification mechanism or what like is and isn'tlike
on ECOOP '88 (European Conference on Object-Oriented Programming)
Specification matching of software components
ACM Transactions on Software Engineering and Methodology (TOSEM)
Component software: beyond object-oriented programming
Component software: beyond object-oriented programming
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Behavior Protocols for Software Components
IEEE Transactions on Software Engineering
Behavioural Subtyping Relations for Object-Oriented Formalisms
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Component-interaction automata as a verification-oriented component-based system specification
SAVCBS '05 Proceedings of the 2005 conference on Specification and verification of component-based systems
A Classification of Service Composition Mismatches to Support Service Mediation
GCC '07 Proceedings of the Sixth International Conference on Grid and Cooperative Computing
Deciding service composition and substitutability using extended operating guidelines
Data & Knowledge Engineering
Component simulation-based substitutivity managing QoS and composition issues
Science of Computer Programming
Dynamic component substitutability analysis
FM'05 Proceedings of the 2005 international conference on Formal Methods
Service Clouds: Distributed Infrastructure for Adaptive Communication Services
IEEE Transactions on Network and Service Management
Assessing the replaceability of service protocols in mediated service interactions
Future Generation Computer Systems
| Hi-index | 0.00 |
Identifying a suitable service to substitute the failed service in Web service composition is a primary means to improve the robustness and dependability of service-oriented computing and cloud computing. Service behavioral substitutability analysis and verification is the main research subject of service-oriented computing. In this paper, based on Finite Automata and characteristics of service-oriented software systems, service behavior automata have been proposed to describe Web service behavior protocols formally; a conceptual hierarchy of service behavioral substitutability has been formally defined to increase service component reuse, and related verification algorithms have been proposed to analyze service behavioral substitutability automatically.