Web services feature interaction detection based on graph transformation: A new interaction detection method

Feature Interactions in Software and Communication Systems X

Volumn , Issue , 2009, Pages 242-249

  Xuan, Huili ^a   Xu, Jiuyun ^a  

^a CHINA UNIVERSITY OF PETROLEUM   (China)

Author keywords

AGG; Feature Interaction; Graph Transformation; Web Services

Indexed keywords

AGG; BUSINESS PROCESS MODEL; EXPLICIT SEMANTICS; FEATURE INTERACTIONS; GRAPH TRANSFORMATION; GRAPHICAL REPRESENTATIONS; INTERACTION DETECTION; STATIC DETECTIONS;

FORMAL LANGUAGES; GRAPH THEORY; SEMANTICS; WEB SERVICES;

WEBSITES;

EID: 70350644997     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3233/978-1-60750-014-8-242     Document Type: Conference Paper

References (21)

1. Michael Weiss, Babak Esfandiari, Yun Luo. Towards a classification of web service feature interactions. Computer Networks, 2007: 359-381
2. Stephen Gorton, Stephan Reiff-Marganiec. Towards Feature Interactions in Business Processes. In Proceedings of ICFI'2007. pp.99-113
3. Michael Weiss, Babak Esfandiari. On Feature Interactions among Web Services. In Proceedings of ICWS'2004. pp.88-95
4. Wohlstadter, E., Tai, S., Mikalsen, T.A., Rouvellou, I., Devanbu, P.T.: GlueQoS: Middleware to Sweeten Quality-of-Service Policy Interactions. In ICSE(2004) 189-199
5. 2008. http://tfs.cs.tu-berlin.de/agg/
6. Javier Camara, Carlos Canal, Javier Cubo, Antonio Vallecillo. Formalizing WSBPEL Business Processes Using Process Algebra. Electr. Notes Theor. Comput. Sci., 2006: 159-173
7. Leen Lambers, Hartmut Ehrig, Fernando Orejas. Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs. Electr. Notes Theor. Comput. Sci., 2008: 17-26
8. Volker Gruhn, Ralf Laue. Checking Properties of Business Process Models with Logic Programming. In Proceedings of MSVVEIS'2007. pp.84-93
9. Fung, CK., Hung, P.C.K., Folger, D.H.: Achieving Survivability in Business Process Execution Language for Web Services (BPEL) with Exception-Flows. In EEE(2005) 68-74
10. Dieter Fensel, Christoph Bussler. The Web Service Modeling Framework WSMF. Electronic Commerce Research and Applications, 2002: 113-137
11. Jan Hendrik Hausmann, Reiko Heckel, Marc Lohmann. Model-based Discovery of Web Services. In Proceedings of ICWS'2004. pp.324-331
12. Luciano Baresi, Vahid Rafe, Adel Torkaman Rahmani, Paola Spoletini. An Efficient Solution for Model Checking Graph Transformation Systems. Electr. Notes Theor. Comput. Sci., 2008: 3-21
13. Gabriele Taentzer. AGG: A Graph Transformation Environment for Modeling and Validation of Software. In Proceedings of AGTIVE'2003. pp.446-453
14. Leen Lambers, Hartmut Ehrig, Fernando Orejas. Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs. Electr. Notes Theor. Comput. Sci., 2008: 17-26
15. Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer. Fundamental Theory for Typed Attributed Graph Transformation. In Proceedings of ICGT'2004. pp.161-177
16. Luciano Baresi, Reiko Heckel. Tutorial Introduction to Graph Transformation: A Software Engineering Perspective. In Proceedings of ICGT'2004. pp.431-433.
17. Marc Andries, Gregor Engels, Annegret Habel, Berthold Hoffmann, Hans-Jörg Kreowski, Sabine Kuske, Detlef Plump, Andy Schurr, Gabriele Taentzer. Graph Transformation for Specification and Programming. Sci. Comput. Program., 1999: 1-54
18. Muffy Calder, Mario Kolberg, Evan H. Magill, Stephan Reiff-Marganiec. Feature interaction: a critical review and considered forecast. Computer Networks, 2003: 115-141
19. Zhen Liu, Anand Ranganathan, Anton Riabov. Modeling Web Services using Semantic Graph Transformations to aid Automatic Composition. In Proceedings of ICWS'2007. pp.78-85
20. Reiko Heckel, Jochen Malte Kuster, Gabriele Taentzer. Confluence of Typed Attributed Graph Transformation Systems. In Proceedings of ICGT'2002. pp.161-176
21. Michael Weiss. Feature Interactions in Web Services. In Proceedings of FIW'2003. pp.149-158