论文信息 - Checking Behavioural Compatibility in Service Composition with Graph Transformation - 字舞流文

Checking Behavioural Compatibility in Service Composition with Graph Transformation

Allaoua Chaoui | Redouane Nouara | A. Chaoui | Redouane Nouara

[1] Frank Leymann,et al. Service-Oriented Computing , 2008, Lecture Notes in Computer Science.

[2] Kamel Barkaoui,et al. A structural verification of web services composition compatibility , 2010, EOMAS 2010.

[3] Fabio Casati,et al. Web services interoperability specifications , 2006, Computer.

[4] Detlef Plump,et al. Extending C for Checking Shape Safety , 2006, Electron. Notes Theor. Comput. Sci..

[5] Fabio Casati,et al. Developing Adapters for Web Services Integration , 2005, CAiSE.

[6] Fabio Casati,et al. Web service conversation modeling: a cornerstone for e-business automation , 2004, IEEE Internet Computing.

[7] Diego Calvanese,et al. Automatic Composition of E-services That Export Their Behavior , 2003, ICSOC.

[8] Gabriele Taentzer,et al. AGG: A Graph Transformation Environment for Modeling and Validation of Software , 2003, AGTIVE.

[9] Reiko Heckel,et al. Graph Grammars with Negative Application Conditions , 1996, Fundam. Informaticae.

[10] Gerhard Goos,et al. Efficient Graph Rewriting and Its Implementation , 1995 .