IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
XL: an XML programming language for web service specification and composition
Proceedings of the 11th international conference on World Wide Web
Simulation, verification and automated composition of web services
Proceedings of the 11th international conference on World Wide Web
Proceedings of the First International Conference on Temporal Logic
ICTL '94 Proceedings of the First International Conference on Temporal Logic
Monodic fragments of first-order temporal logics: 2000-2001 A.D
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Decidable and Undecidable Fragments of First-Order Branching Temporal Logics
LICS '02 Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science
Mona: Monadic Second-Order Logic in Practice
TACAS '95 Proceedings of the First International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Reachability Analysis of Pushdown Automata: Application to Model-Checking
CONCUR '97 Proceedings of the 8th International Conference on Concurrency Theory
DAML-S: Web Service Description for the Semantic Web
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Beyond Discrete E-Services: Composing Session-Oriented Services in Telecommunications
TES '01 Proceedings of the Second International Workshop on Technologies for E-Services
CIAA '00 Revised Papers from the 5th International Conference on Implementation and Application of Automata
Conversation specification: a new approach to design and analysis of e-service composition
WWW '03 Proceedings of the 12th international conference on World Wide Web
Theoretical Computer Science - Implementation and application of automata
Verification of communicating data-driven web services
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Hi-index | 0.00 |
We consider a client-server system in which unbounded, finite but unknown, number of clients request for service from the server. The system is passive as there is no further interaction between send-request and receive-response. We give an automata based model for such systems and a temporal logic to frame specifications. We show that the satisfiability and model checking problems for the logic are decidable.