The axml artifact model Simulation Is Decidable for One-Counter Nets (Extended Abstract, TIME Proceedings of CONCUR'98, pp.11-17, 1998. ,
Web Services -Concepts, Architectures and Applications Specification and verification of data-driven web applications, J. Comput. Syst. Sci, pp.442-474, 2004. ,
Foundations of Databases, 1995. ,
Business artifacts : An approach to operational specification, IBM Systems Journal, vol.3, issue.42, pp.428-445, 2003. ,
Adaptive service composition in flexible processes A hybrid approach for efficient web service composition with end-to-end qos constraints, IEEE Trans. Software Eng. ACM Trans. Web, vol.337, issue.62, pp.369-3841, 2007. ,
Static analysis of active xml systems, PODS, pp.221-230, 2008. ,
Modeling and verifying active xml artifacts, IEEE Data Eng. Bull, vol.32, issue.3, pp.10-15, 2009. ,
URL : https://hal.archives-ouvertes.fr/inria-00429484
Static analysis of active xml systems, ACM Trans. Database Syst, vol.34, issue.4, 2009. ,
Relational transducers for electronic commerce, PODS, pp.179-187, 1998. ,
Relational Transducers for Electronic Commerce, Journal of Computer and System Sciences, vol.61, issue.2, pp.236-269, 2000. ,
DOI : 10.1006/jcss.2000.1708
Automatic Composition of E-services That Export Their Behavior, ICSOC, pp.43-58, 2003. ,
DOI : 10.1007/978-3-540-24593-3_4
Automatic composition of transition-based semantic web services with messaging, VLDB, pp.613-624, 2005. ,
Automatic service composition via simulation Artifact-centered operational modeling : Lessons from customer engagements Semantics-based composition-oriented discovery of web services Fresh-variable automata : Application to service composition Guarded variable automata over infinite alphabets Analysis and management of web service protocols Web service conversation modeling : A cornerstone for e-business automation Representing, analysing and managing web service protocols Conversation specification : a new approach to design and analysis of e-service composition Towards formal analysis of artifact-centric business process models, [BCR13] Walid Belkhir, Yannick Chevalier, and Michaël Rusinowitch 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SY- NASC 2013 ER conferenceBCT04b] Boualem Benatallah, Fabio Casati, and Farouk Toumani WWW'03 BPMBGL + 05 Lars Johannsen, and Andreas Staudt. A model-driven approach to industrializing discovery processes in pharmaceutical research. IBM Systems Journal, pp.429-451703, 2003. ,
Verification of deployed artifact systems via data abstraction When are two Web Services Compatible ?), ICSOC VLDB TES'04, pp.142-156, 2004. ,
Guarded negation Foundations of data-aware process analysis : a database theory perspective, Automata, Languages and Programming -38th International Colloquium, ICALP 2011 Proceedings, Part II PODS, pp.356-367, 2011. ,
Business artifacts : A data-centric approach to modeling business operations and processes, IEEE Data Eng. Bull, vol.32, issue.3, pp.3-9, 2009. ,
The complexity of theorem-proving procedures, STOC, pp.151-158, 1971. ,
Automatic verification of data-centric business processes Artifact systems with data dependencies and arithmetic, DDV11] Elio Damaggio, Alin Deutsch, and Victor Vianu ICDT, pp.3-16, 2011. ,
Automatic verification of data-centric business processes, Proceedings of the 12th International Conference on Database Theory, ICDT '09, pp.252-267, 2009. ,
DOI : 10.1145/1514894.1514924
Specification and verification of data-driven web services, Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems , PODS '04, pp.71-82, 2004. ,
DOI : 10.1145/1055558.1055571
Exception Handling for Repair in Service-Based Processes, IEEE Transactions on Software Engineering, vol.36, issue.2, pp.198-215, 2010. ,
DOI : 10.1109/TSE.2010.8
Complexity and composition of synthesized web services, ACM PODS, pp.231-240, 2008. ,
Data exchange: semantics and query answering, Theoretical Computer Science, vol.336, issue.1, pp.89-124, 2005. ,
DOI : 10.1016/j.tcs.2004.10.033
URL : http://doi.org/10.1016/j.tcs.2004.10.033
Automated composition of e-services : lookaheads, In ICSOC, pp.252-262, 2004. ,
Variable Automata over Infinite Alphabets, LATA, pp.561-572, 2010. ,
DOI : 10.1007/978-3-642-13089-2_47
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.174.7601
Specification and verification of artifact behaviors in business process models A Petri net-based model for web service composition, ICSOC Australasian Database Conference, pp.181-192, 2003. ,
A petri net-based model for web service composition, ADC, pp.191-200, 2003. ,
Verification of relational data-centric dynamic systems with external services, Proceedings of the 32nd ACM SIGMOD- SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2013, pp.163-174, 2013. ,
Computing simulations on finite and infinite graphs, Proceedings of IEEE 36th Annual Foundations of Computer Science, pp.453-462, 1995. ,
DOI : 10.1109/SFCS.1995.492576
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.48.3591
Behavioral interface specification languages, ACM Computing Surveys, vol.44, issue.3, p.16, 2012. ,
DOI : 10.1145/2187671.2187678
Protocolbased web service composition, ICSOC, pp.38-53, 2008. ,
Data management perspectives on business process management, Proceedings of the 2013 international conference on Management of data, SIGMOD '13, pp.943-948, 2013. ,
DOI : 10.1145/2463676.2467802
artifact-centric business process models : Brief survey of research results and challenges, Lecture Notes in Computer Science, vol.5332, pp.1152-1163, 2008. ,
Finite-memory automata, Theoretical Computer Science, vol.134, issue.2, pp.329-363, 1994. ,
DOI : 10.1016/0304-3975(94)90242-9
On the Duality of Information-Centric and Activity-Centric Models of Business Processes, CAiSE, pp.32-47, 2008. ,
DOI : 10.1007/978-3-540-69534-9_3
Simulation preorder over simple process algebras, Information and Computation, vol.173, issue.2, pp.184-198, 2002. ,
On the complexity of semantic equivalences for pushdown automata and bpa, Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science (MFCS'02)Kra07] Sacha Krakowiak. Middleware architecture with patterns and frameworks, pp.433-445, 2002. ,
Generation of business process models for object life cycle compliance, In BPM, pp.165-181, 2007. ,
A Feature-Complete Petri Net Semantics for WS-BPEL 2.0, LNCS, vol.4937, p.77, 2008. ,
Probabilistic Simulation for Probabilistic Data-Aware Business Processes, Language and Automata Theory and Applications -8th International Conference Proceedings, pp.503-515, 2014. ,
DOI : 10.1007/978-3-319-04921-2_41
An algebraic definition of simulation between programs, IJCAI, pp.481-489, 1971. ,
Computation Finite and Infinite Machines Data in business processes. technical report 50, 1967. ,
A lower bound on web services composition, FOSSACS, pp.274-287, 2007. ,
URL : https://hal.archives-ouvertes.fr/hal-00344194
Simulation, verification and automated composition of web services, Proceedings of the eleventh international conference on World Wide Web , WWW '02, pp.77-88, 2002. ,
DOI : 10.1145/511446.511457
Concepts of net theory, Proceedings of MFCS, pp.137-146, 1973. ,
Interoperability Among Independently Evolving Web Services, Middleware '04, 2004. ,
DOI : 10.1007/BFb0053382
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.403.4840
Composition of services that share an infinitestate blackboard (extended abstract), IIWEB, 2009. ,
Equivalence of Datalog queries is undecidable, The Journal of Logic Programming, vol.15, issue.3, pp.231-241, 1993. ,
DOI : 10.1016/0743-1066(93)90040-N
Verification of relational transducers for electronic commerce, PODS, pp.92-103, 2000. ,
DOI : 10.1016/S0022-0000(02)00029-6
Conformance checking of service behavior, ACM Trans. Internet Techn, vol.8, issue.3, 2008. ,
Matchmaking for business processes based on choreographies, IEEE International Conference on e-Technology, e-Commerce and e-Service, 2004. EEE '04. 2004, 2004. ,
DOI : 10.1109/EEE.2004.1287334
Similarity Search for Web Services), VLDB'04, pp.372-383, 2004. ,