A Model-Driven Approach to Discovery, Testing and Monitoring of Web Services

Service-oriented computing is distinguished by its use of dynamic discovery and binding for the integration of services at runtime. This poses a challenge for testing, in particular, of the interaction between services.

[1]  Raymond A. Paul,et al.  Verification of Web services using an enhanced UDDI server , 2003, Proceedings of the Eighth International Workshop on Object-Oriented Real-Time Dependable Systems, 2003. (WORDS 2003)..

[2]  Ali Hamie,et al.  Translating the Object Constraint Language into the Java Modelling Language , 2004, SAC '04.

[3]  Arend Rensink.  The GROOVE Simulator: A Tool for State Space Generation , 2003, AGTIVE.

[4]  Stuart Kent,et al.  Mixing Visual and Textual Constraint Languages , 1999, UML.

[5]  Albert Zündorf,et al.  Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java , 1998, TAGT.

[6]  Gabriele Taentzer,et al.  Translation of Restricted OCL Constraints into Graph Constraints for Generating Meta Model Instances by Graph Grammars , 2008, GT-VMT@ETAPS.

[7]  Gregor Engels,et al.  Executable visual contracts , 2005, 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05).

[8]  Elaine J. Weyuker,et al.  A simplified domain-testing strategy , 1994, TSEM.

[9]  Mauro Pezzè,et al.  Software testing and analysis - process, principles and techniques , 2007 .

[10]  Subbarao Kambhampati,et al.  A snapshot of public web services , 2005, SGMD.

[11]  Ingo Stürmer,et al.  Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems , 2004, ICGT.

[12]  Reiko Heckel,et al.  Automatic Conformance Testing of Web Services , 2005, FASE.

[13]  Mohand-Said Hacid,et al.  On automating Web services discovery , 2003, The VLDB Journal.

[14]  Amit P. Sheth,et al.  Adding Semantics to Web Services Standards , 2003, ICWS.

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

[16]  MeyerBertrand,et al.  Design by Contract , 1997 .

[17]  Elaine J. Weyuker,et al.  An Applicable Family of Data Flow Testing Criteria , 1988, IEEE Trans. Software Eng..

[18]  Gregor Engels,et al.  Industrielle Fallstudie: Einsatz visueller Kontrakte in serviceorientierten Architekturen , 2006, Software Engineering.

[19]  K. Rustan M. Leino,et al.  The Spec# Programming System: An Overview , 2004, CASSIS.

[20]  Gerardo Canfora,et al.  Testing services and service-centric systems: challenges and opportunities , 2006, IT Professional.

[21]  Reiko Heckel,et al.  Model-based discovery of Web services , 2004, Proceedings. IEEE International Conference on Web Services, 2004..

[22]  Luciano Baresi,et al.  Tutorial Introduction to Graph Transformation: A Software Engineering Perspective , 2002, ICGT.

[23]  Achut Reddy,et al.  Java™ Coding Style Guide , 2000 .

[24]  Jean Hartmann,et al.  UML-Based integration testing , 2000, ISSTA '00.

[25]  Lee J. White,et al.  A Domain Strategy for Computer Program Testing , 1980, IEEE Transactions on Software Engineering.

[26]  Stuart Kent,et al.  Spider Diagrams: A Diagrammatic Reasoning System , 2001, J. Vis. Lang. Comput..

[27]  赵中营,et al.  Visual C#中文验证 , 2005 .

[28]  Takahiro Kawamura,et al.  Semantic Matching of Web Services Capabilities , 2002, SEMWEB.

[29]  Roberto Chinnici,et al.  Web Services Description Language (WSDL) Version 2.0 Part 1: Core Language , 2007 .

[30]  Reiko Heckel,et al.  A view-oriented approach to system modelling based on graph transformation , 1997, ESEC '97/FSE-5.

[31]  Bertrand Meyer,et al.  Object-Oriented Software Construction, 2nd Edition , 1997 .

[32]  Reiko Heckel,et al.  Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach , 1997, Handbook of Graph Grammars.

[33]  Reiko Heckel,et al.  Model-driven development of reactive information systems: from graph transformation rules to JML contracts , 2007, International Journal on Software Tools for Technology Transfer.

[34]  Bertrand Meyer,et al.  Applying 'design by contract' , 1992, Computer.

[35]  James D. Foxall,et al.  Visual C# 2005 , 2007 .

[36]  Albert L. Baker,et al.  Preliminary design of JML: a behavioral interface specification language for java , 2006, SOEN.

[37]  Michael D. Ernst,et al.  An overview of JML tools and applications , 2003, International Journal on Software Tools for Technology Transfer.

[38]  Heinrich Hußmann,et al.  Modular architecture for a toolset supporting OCL , 2000, Sci. Comput. Program..

[39]  Hartmut Ehrig,et al.  Handbook of graph grammars and computing by graph transformation: vol. 2: applications, languages, and tools , 1999 .

[40]  Gregor Engels,et al.  Model-driven Monitoring: Generating Assertions from Visual Contracts , 2006, 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06).

[41]  Reiko Heckel,et al.  Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract , 2006, ICGT.

[42]  簡聰富,et al.  物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .

[43]  Albert Zündorf,et al.  The PROGRES approach: language and environment , 1999 .

[44]  Gabriele Taentzer,et al.  A Visualization of OCL Using Collaborations , 2001, UML.

[45]  Elaine J. Weyuker,et al.  Analyzing Partition Testing Strategies , 1991, IEEE Trans. Software Eng..

[46]  Mohand-Said Hacid,et al.  Semantic Reasoning for Web Services Discovery , 2003 .

[47]  Reiko Heckel,et al.  International Journal of Web Services Research , Vol . 2 , No . 2 , 2005 1 Model-based development of Web service descriptions enabling a precise matching concept , 2005 .

[48]  Andrea Polini,et al.  Audition of Web Services for Testing Conformance to Open Specified Protocols , 2004, Architecting Systems with Trustworthy Components.