Abstract | ||
---|---|---|
Service oriented computing is an accepted architectural style for developing large, distributed software systems. A particular promise of such architectures is service orchestration, i.e. the ability to combine existing services to create more complex functionality, thereby yielding new services. In this paper, we discuss application-level protocol compliance checking of service orchestrations and service protocols using the semantic domain of modal input/output automata (MIOs). Based on a practical example, we motivate and introduce new notions of refinement and compatibility, and prove that they constitute a valid interface theory. With this domain-specific interface theory, we provide a framework for application-level analysis of service orchestrations, thus complementing existing work on compatibility analysis. Our theory is tool-supported through the MIO Workbench, a verification tool for modal input/output automata. |
Year | DOI | Venue |
---|---|---|
2010 | 10.1016/j.entcs.2010.07.009 | Electr. Notes Theor. Comput. Sci. |
Keywords | Field | DocType |
compatibility,domain-specific interface theory,services,application-level analysis,refinement,soa,service orchestration,strict-observational interface theory,interface theory,service protocols,modal input,valid interface theory,service protocol,application-level protocol compliance checking,modal input/output automata,new service,protocol breach,compatibility analysis,protocol compliance,service orchestrations,output automaton,analysing service orchestrations,software systems,service oriented computing,input output | Workbench,Semantic domain,Compatibility (mechanics),Computer science,Automaton,Orchestration (computing),Modal,Service-oriented architecture,Architectural style,Distributed computing | Journal |
Volume | Issue | ISSN |
264 | 1 | Electronic Notes in Theoretical Computer Science |
Citations | PageRank | References |
0 | 0.34 | 21 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Philip Mayer | 1 | 234 | 15.64 |
Andreas Schroeder | 2 | 268 | 14.36 |
Sebastian S. Bauer | 3 | 200 | 11.05 |