An EXPTIME Algorithm for Data-Aware Service Simulation Using Parametrized Automata
作者： Walid Belkhir , Yannick Chevalier , Michael Rusinowitch
DOI: 10.1007/978-3-319-22885-3_26
关键词: Existential quantification 、 Simulation preorder 、 Theoretical computer science 、 EXPTIME 、 Mathematics 、 Automaton 、 Conjunction (grammar) 、 Domain (software engineering) 、 Decidability 、 Service (business)
摘要: The service composition problem asks whether, given a client and community of available services, there exists an agent (called the mediator) that suitably delegates actions requested by to services. We address this in general setting where agents communication are parametrized data over infinite domain possibly subject constraints. For purpose, we define automata (PAs), transitions guarded conjunction equalities disequalities. solve showing simulation preorder PAs is decidable.
springer.com
sci-hub.st 参考文章(19)
Pierpaolo Degano, Gian-Luigi Ferrari, Gianluca Mezzetti, Nominal Automata for Resource Usage Control Implementation and Application of Automata. ,vol. 7381, pp. 125- 137 ,(2012) , 10.1007/978-3-642-31606-7_11
Lhouari Nourine, Farouk Toumani, Formal Approaches for Synthesis of Web Service Business Protocols web services and formal methods. pp. 1- 15 ,(2012) , 10.1007/978-3-642-38230-7_1
Ramy Ragab Hassen, Lhouari Nourine, Farouk Toumani, Protocol-Based Web Service Composition international conference on service oriented computing. pp. 38- 53 ,(2008) , 10.1007/978-3-540-89652-4_7
Yoad Lustig, Moshe Y. Vardi, Synthesis from Component Libraries joint european conferences on theory and practice of software. pp. 395- 409 ,(2009) , 10.1007/978-3-642-00596-1_28
Wolfgang Reisig, Towards a Theory of Services International United Information Systems Conference. pp. 271- 281 ,(2008) , 10.1007/978-3-540-78942-0_27
Rachid Hamadi, Boualem Benatallah, A Petri net-based model for web service composition australasian database conference. pp. 191- 200 ,(2003)
A. Finkel, Ph. Schnoebelen, Well-structured transition systems everywhere! Theoretical Computer Science. ,vol. 256, pp. 63- 92 ,(2001) , 10.1016/S0304-3975(00)00102-X
Guillaume Feuillade, Sophie Pinchinat, Modal Specifications for the Control Theory of Discrete Event Systems Discrete Event Dynamic Systems. ,vol. 17, pp. 211- 232 ,(2007) , 10.1007/S10626-006-0008-6
Petr Jančar, Undecidability of bisimilarity for Petri nets and some related problems symposium on theoretical aspects of computer science. ,vol. 148, pp. 281- 301 ,(1995) , 10.1016/0304-3975(95)00037-W
Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella, Automatic Composition of E-services That Export Their Behavior international conference on service oriented computing. ,vol. 2910, pp. 43- 58 ,(2003) , 10.1007/978-3-540-24593-3_4