Regular types for active objects
Object-oriented software composition
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Information and Computation - Special issue on EXPRESS 1997
SIMULA: an ALGOL-based simulation language
Communications of the ACM
Introduction to Automata Theory, Languages and Computability
Introduction to Automata Theory, Languages and Computability
Model Checking for Context-Free Processes
CONCUR '92 Proceedings of the Third International Conference on Concurrency Theory
Pushdown Processes: Parallel Composition and Model Checking
CONCUR '94 Proceedings of the Concurrency Theory
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Robust Dynamic Exchange of Implementation Aspects
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
Describing and Reasoning on Web Services using Process Algebra
ICWS '04 Proceedings of the IEEE International Conference on Web Services
SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model
SERA '06 Proceedings of the Fourth International Conference on Software Engineering Research, Management and Applications
Experimenting with exception propagation mechanisms in service-oriented architecture
Proceedings of the 4th international workshop on Exception handling
Burroughs' B6500/B7500 stack mechanism
AFIPS '68 (Spring) Proceedings of the April 30--May 2, 1968, spring joint computer conference
Automatic Protocol Conformance Checking of Recursive and Parallel Component-Based Systems
CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
Automatic Protocol Conformance Checking of Recursive and Parallel BPEL Systems
ECOWS '08 Proceedings of the 2008 Sixth European Conference on Web Services
Contract-Based Discovery and Composition of Web Services
Formal Methods for Web Services
A Step Towards a More Practical Protocol Conformance Checking Algorithm
SEAA '09 Proceedings of the 2009 35th Euromicro Conference on Software Engineering and Advanced Applications
Modelling recursive calls with UML state diagrams
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Model Checking of Component Protocol Conformance -- Optimizations by Reducing False Negatives
Electronic Notes in Theoretical Computer Science (ENTCS)
Exception handling in web service processes
The evolution of conceptual modeling
Models for contract conformance
ISoLA'04 Proceedings of the First international conference on Leveraging Applications of Formal Methods
Modeling- and analysis techniques for web services and business processes
FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Automatic checking of component protocols in component-based systems
SC'06 Proceedings of the 5th international conference on Software Composition
Hi-index | 0.00 |
In our previous work we defined a conservative abstraction of the behaviour of service-oriented systems and a contract based on interactions (named service protocol) to be verified. We have achieved modeling unbound concurrency and unbound recursion within this abstraction. However, these works are based only on services that do not raise exceptions. In this paper, we extend our previous work such that service protocols can be verified even if the service interface may raise exceptions.