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
- R. Allen, D. Garlan, Formalizing architectural connection, Proccedings of ICSE’94, Sorrento, Italy, IEEE Computer, (1994), pp. 71–80
- 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
- D. Beyer, A. Chakrabarti, T. A. Henzinger, Web service interfaces, Proccedings of WWW 2005, Chiba, Japan, ACM, New York, 2005, pp. 148–159
- 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
- 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
- L. De Alfaro, T. A. Henzinger, Interface automata, Proc. of ESEC/FSE, Vienna, Austria, 5 of Software Engineering Notes, ACM, Vol. 26, 2001.
- M. Dumas, B. Benatallah, H. R. Motahari-Nezhad, Web service protocols: Compatibility and adaptation, Data Eng. Bull. 31(3) (2008), pp. 40–44
- 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.
- 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
- 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.
- 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.
- 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
- 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.
- 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.
- R. Milner, Communication and Concurrency, International Series in Computer Science, Prentice Hall, Upper Saddle River, NJ, (1989), pp. I–XI, 1–260
- T. Murata, Petri nets: Properties, analysis and applications, Proceedings of IEEE 77(4) (1989), pp. 541–580 doi: 10.1109/5.24143
- 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.
- 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.
- 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.
- 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
- S. Roch and P.H. Starke, INA: Integrated Net Analyzer, Version 2.2, Humboldt-Universitat of Berlin, Berlin, Germany, 1999.
- 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.
- 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
- 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.
- P. Wegner, Interoperability, ACM Comput. Surv. 28(1) (1996), pp. 285–287 doi: 10.1145/234313.234424
- 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