A compositional framework to the specification of service protocols controllability and substitutability

References

• W. M.P.v.d. Aalst, N. Lohmann, P. Massuthe, C. Stahl, K. Wolf, From public views to private views-correctness-by-design for services, in Web Services and Formal Methods, 4th International Workshop, WS-FM 2007, Brisbane, Australia, Lecture Notes in Computer Science, Vol. 4937, M. Dumas, R. Heckel, eds., Springer-Verlag, Heidelberg, (2008), pp. 139–153
   Google Scholar
• R. Allen, D. Garlan, Formalizing architectural connection, Proccedings of ICSE’94, Sorrento, Italy, IEEE Computer, (1994), pp. 71–80
   Google Scholar
• B. Benatallah, F. Casati, F. Toumani, Representing, analysing and managing web service protocols, Data Knowl. Eng. 58(3) (2006), pp. 327–357 doi: 10.1016/j.datak.2005.07.006
   Web of Science ®Google Scholar
• D. Beyer, A. Chakrabarti, T. A. Henzinger, Web service interfaces, Proccedings of WWW 2005, Chiba, Japan, ACM, New York, 2005, pp. 148–159
   Google Scholar
• L. Bordeaux, G. Salaun, D. Berardi, M. Mecella, When are two web services compatible? in Technologies for E-Services, 5th International Workshop, TES 2004, Toronto, Canada, August29–30, Revised Selected Papers, Lecture Notes in Computer Science, Vol. 3324, M.-C. Shan, U. Dayal, M. Hsu, eds., Springer-Verlag Berlin, Heidelberg, 2004, pp. 15–28
   Google Scholar
• H. S. Chae, J. S. Lee, J. H. Bae, An approach to checking behavioral compatibility between web services, IJSEKE. 18(2) (2008), pp. 223–241
   Google Scholar
• L. De Alfaro, T. A. Henzinger, Interface automata, Proc. of ESEC/FSE, Vienna, Austria, 5 of Software Engineering Notes, ACM, Vol. 26, 2001.
   Google Scholar
• M. Dumas, B. Benatallah, H. R. Motahari-Nezhad, Web service protocols: Compatibility and adaptation, Data Eng. Bull. 31(3) (2008), pp. 40–44
   Google Scholar
• D. Elhog-Benzina, S. Haddad, and R. Hennicker, Refinement and asynchronous composition of modal petri nets, in T. Petri Nets and Other Models of Concurrency, Lecture Notes in Computer Science, Vol. 5, K. Jensen, S. Donatelli, and J. Kleijn, eds., Springer-Verlag Berlin, Heidelberg, 2012, pp. 96–120.
   Google Scholar
• X. Fu, T. Bultan, J. Su, Conversation protocols: A formalism for specification and verification of reactive electronic services, Theor. Comput. Sci. 328(1–2) (2004), pp. 19–37 doi: 10.1016/j.tcs.2004.07.004
   Web of Science ®Google Scholar
• H. Garavel, F. Lang, R. Mateescu, and W. Serwe, CADP 2010: A toolbox for the construction and analysis of distributed processes, in Tools and Algorithms for the Construction and Analysis of Systems – 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011, Proceedings, Lecture Notes in Computer Science, Vol. 6605, Parosh Aziz Abdulla, K. Rustan, and M. Leino, eds., Springer-Verlag Berlin, Heidelberg, 2011, pp. 372–387.
   Google Scholar
• N. Hameurlain, On compatibility and behavioural substitutability of component protocols, in Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7–9 September 2005, Koblenz, Germany, B.K. Aichernig and B. Beckert, eds., IEEE Computer Society, Washington, DC, 2005, pp. 393–403.
   Google Scholar
• B. H. Liskov, J. M. Wing, A behavioral notion of subtyping, ACM Trans. Program. Lang. Syst. 16(6) (1994), pp. 1811–1841 doi: 10.1145/197320.197383
   Web of Science ®Google Scholar
• N. Lohmann and K. Wolf, Realizability is controllability, in Web Services and Formal Methods, 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4–5, 2009, Revised Selected Papers, Lecture Notes in Computer Science, Vol. 6194, C. Laneve and J. Su, eds., Springer-Verlag Berlin, Heidelberg, 2010, pp. 110–127.
   Google Scholar
• A. Martens, Analyzing web service based business, in Fundamental Approaches to Software Engineering, 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4–8, 2005, Proceedings, Lecture Notes in Computer Science, Vol. 3442, M. Cerioli, ed., Springer-Verlag Berlin, Heidelberg, 2005, pp. 19–33.
   Google Scholar
• R. Milner, Communication and Concurrency, International Series in Computer Science, Prentice Hall, Upper Saddle River, NJ, (1989), pp. I–XI, 1–260
   Google Scholar
• T. Murata, Petri nets: Properties, analysis and applications, Proceedings of IEEE 77(4) (1989), pp. 541–580 doi: 10.1109/5.24143
   Web of Science ®Google Scholar
• O. Nierstrasz, Regular types for active objects, ACM SIGPLAN Notices 28(10), 1993, pp. 1–15, Proccedings of OOPSLA’93, Washington, DC, ACM, New York.
   Google Scholar
• M.P. Papazoglou, Service-oriented computing: Concepts, characteristics and directions, Proceedings of the fourth International Conference on Web Information Systems Engineering, Roma, Italy, IEEE CS Press, 2003, pp. 3–12.
   Google Scholar
• L. Pomello, G. Rozenberg, and C. Simone, A survey of equivalence notions for net based system, in Advances in Petri Nets 1992, The DEMON Project, Lecture Notes in Computer Science, Vol. 609, G. Rozenberg, ed., Springer-Verlag, London, 1992, pp. 410–472.
   Google Scholar
• J. Ponge, B. Benatallah, F. Casati, F. Toumani, Analysis and applications of timed service protocols, ACM Trans. Softw. Eng. Methodol. 19(4) (2010), pp. 1–38 doi: 10.1145/1734229.1734230
   Web of Science ®Google Scholar
• S. Roch and P.H. Starke, INA: Integrated Net Analyzer, Version 2.2, Humboldt-Universitat of Berlin, Berlin, Germany, 1999.
   Google Scholar
• K. Schmidt, Controllability of open workflow nets, in EMISA, LNI, J. Desel and U. Frank, eds., Bonner Köllen Verlag, Berlin, Germany, 2005, pp. 236–249.
   Google Scholar
• C. Stahl, K. Wolf, Deciding service composition and substitutability using extended operating guidelines, Data Knowl. Eng. 68(9) (2009), pp. 819–833 doi: 10.1016/j.datak.2009.02.012
   Web of Science ®Google Scholar
• W. Vogler, Modular Construction and Partial Order Semantics of Petri Nets (J. Hartmanis and G. Goos, eds), Lecture Notes in Computer Science, Vol. 625, Springer-Verlag New York, Inc., Secaucus, NJ, 1992.
   Google Scholar
• P. Wegner, Interoperability, ACM Comput. Surv. 28(1) (1996), pp. 285–287 doi: 10.1145/234313.234424
   Web of Science ®Google Scholar
• A. M. Zaremski, J. M. Wing, Specification matching of software components, ACM Trans. Softw. Eng. Methodol. 6(4) (1997), pp. 333–369 doi: 10.1145/261640.261641
   Google Scholar