Supervisory control of a class of discrete event processes
SIAM Journal on Control and Optimization
Reachability analysis of Petri nets using symmetries
Systems Analysis Modelling Simulation
Selected papers of the Second Workshop on Concurrency and compositionality
Alternating-time temporal logic
Journal of the ACM (JACM)
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
Towards reachability trees for high-level Petri nets
Proceedings of the European Workshop on Applications and Theory in Petri Nets, covers the last two years which include the workshop 1983 in Toulouse and the workshop 1984 in Aarhus, selected papers
All from One, One for All: on Model Checking Using Representatives
CAV '93 Proceedings of the 5th International Conference on Computer Aided Verification
Web Services and Service-Oriented Architecture: The Savvy Manager's Guide
Web Services and Service-Oriented Architecture: The Savvy Manager's Guide
Introduction to Discrete Event Systems
Introduction to Discrete Event Systems
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
A reference model for dynamic web service composition systems
International Journal of Web and Grid Services
Lifelong verification of dynamic service compositions
Proceedings of the 2008 Foundations of Software Engineering Doctoral Symposium
Executability of scenarios in Petri nets
Theoretical Computer Science
Declarative specification and verification of service choreographiess
ACM Transactions on the Web (TWEB)
Service research challenges and solutions for the future internet
Layered patterns in modelling and transformation of service-based software architectures
EWSA'06 Proceedings of the Third European conference on Software Architecture
Web service collaboration analysis via automata
WAIM'05 Proceedings of the 6th international conference on Advances in Web-Age Information Management
Towards verifying contract regulated service composition
Autonomous Agents and Multi-Agent Systems
Model checking adaptive multilevel service compositions
FACS'10 Proceedings of the 7th international conference on Formal Aspects of Component Software
On the verification of security-aware E-services
Journal of Symbolic Computation
Service net algebra based on logic Petri nets
Information Sciences: an International Journal
Hi-index | 0.00 |
We give an overview on web services and the web service technology stack. We then show how to build Petri net models of web services formulated in the specification language BPEL4WS. We define an abstract correctness criterion for these models and study the automated verification according to this criterion. Finally, we relate correctness of web service models to the model checking problem for alternating temporal logics.