A formal framework for service mashups with dynamic service selection

The service mashup programming paradigm is a blooming faction of service oriented Architecture for developing web applications. A mashup application constructs its functionality by combining data, presentation and functionalities obtained from online services published by service providers such as Google and Amazon. This paradigm significantly facilitates the implementation of application and reduces the workload. But it also makes the application rely on the availability and qualities of the online services which beyond its control in which case the robustness of the system requires more concern. This paper proposes a formal model to specify and analyze the behavior and robustness of service mashups under a certain environment where some services may become unavailable. The specification contains both system specification and environment situation. Refinement theory are employed to specify the correctness of dynamic service selection. The framework realizes the service selection by allowing virtual service requests to be handled by any online service having consistent interface and refined functionality. The framework provides a clear definition of the robustness of mashup systems and proposes several rules as well as approaches to preserve the robustness during the development and maintenance of the system.

[1]  Brian Randell,et al.  Fundamental Concepts of Dependability , 2000 .

[2]  Tiziana Margaria,et al.  Service-oriented Mediation with jABC/jETI , 2009, Semantic Web Services Challenge.

[3]  Quan Z. Sheng,et al.  Quality driven web services composition , 2003, WWW '03.

[4]  C. A. R. Hoare,et al.  Unifying theories of programming , 1998, RelMiCS.

[5]  E. Michael Maximilien,et al.  A framework and ontology for dynamic Web services selection , 2004, IEEE Internet Computing.

[6]  Annabelle McIver,et al.  Probabilistic Models for the Guarded Command Language , 1997, Sci. Comput. Program..

[7]  Jifeng He,et al.  A Relational Model for Formal Object-Oriented Requirement Analysis in UML , 2003, ICFEM.

[8]  Tiziana Margaria,et al.  Synthesizing Semantic Web Service Compositions with jMosel and Golog , 2009, SEMWEB.

[9]  Tiziana Margaria,et al.  Higher-Order Process Modeling: Product-Lining, Variability Modeling and Beyond , 2013, Festschrift for Dave Schmidt.

[10]  Gustavo Alonso,et al.  Web Services: Concepts, Architectures and Applications , 2009 .

[11]  Jerry R. Hobbs,et al.  DAML-S: Semantic Markup for Web Services , 2001, SWWS.

[12]  Farhad Arbab,et al.  Reo: A Channel-based Coordination Model for Component Composition , 2005 .

[13]  Charles J. Petrie,et al.  Semantic Web Services Challenge, Results from the First Year. Series: Semantic Web And Beyond, Volume 8. , 2009 .

[14]  Bertrand Meyer,et al.  Advances in object-oriented software engineering , 1992 .

[15]  Tiziana Margaria,et al.  A pragmatic approach to software synthesis , 1994 .

[16]  Carroll Morgan,et al.  Programming from specifications , 1990, Prentice Hall International Series in computer science.

[17]  Cosimo Laneve,et al.  A Formal Account of Contracts for Web Services , 2006, WS-FM.

[18]  Tiziana Margaria,et al.  LTL Guided Planning: Revisiting Automatic Tool Composition in ETI , 2007, 31st IEEE Software Engineering Workshop (SEW 2007).

[19]  Kevin J. Sullivan,et al.  Towards a rigorous definition of information system survivability , 2003, Proceedings DARPA Information Survivability Conference and Exposition.

[20]  E. Michael Maximilien,et al.  A Domain-Specific Language for Web APIs and Services Mashups , 2007, ICSOC.

[21]  Jifeng He,et al.  A formal semantics of UML sequence diagram , 2004, 2004 Australian Software Engineering Conference. Proceedings..

[22]  Jifeng He.  Service Refinement , 2008, 2008 15th Asia-Pacific Software Engineering Conference.

[23]  Tiziana Margaria,et al.  Semantic Web Services Challenge, Results from the First Year , 2009, Semantic Web And Beyond.

[24]  Jifeng He,et al.  Contract Oriented Development of Component Software , 2004, IFIP TCS.

[25]  Vickie R. Westmark.  A definition for information system survivability , 2004, 37th Annual Hawaii International Conference on System Sciences, 2004. Proceedings of the.

[26]  Wei Sun,et al.  Towards Service Composition Based on Mashup , 2007, 2007 IEEE Congress on Services (Services 2007).

[27]  Brian Randell,et al.  Fundamental Concepts of Computer System Dependability , 2001 .

[28]  Jifeng He,et al.  A model for BPEL-like languages , 2007, Frontiers of Computer Science in China.

[29]  Thomas A. Henzinger,et al.  Alternating Refinement Relations , 1998, CONCUR.

[30]  Tiziana Margaria,et al.  The Electronic Tool Integration platform: concepts and design , 1997, International Journal on Software Tools for Technology Transfer.

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

[32]  Bernhard Steffen,et al.  Plug-and-Play Higher-Order Process Integration , 2013, Computer.

[33]  Nancy R. Mead,et al.  Survivable Network Systems: An Emerging Discipline , 1997 .

[34]  Jim Woodcock,et al.  Towards mobile processes in unifying theories , 2004, Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004..

[35]  Dieter Fensel,et al.  The Web Service Modeling Framework WSMF , 2002, Electron. Commer. Res. Appl..

[36]  Shengchao Qin,et al.  A Relational Model for Object-Oriented Designs , 2004, APLAS.

[37]  Carl E. Landwehr,et al.  Basic concepts and taxonomy of dependable and secure computing , 2004, IEEE Transactions on Dependable and Secure Computing.

[38]  Jim Woodcock,et al.  Travelling Processes , 2004, MPC.

[39]  Jayadev Misra,et al.  A Language for Task Orchestration and Its Semantic Properties , 2006, CONCUR.

[40]  A. Tarski.  A LATTICE-THEORETICAL FIXPOINT THEOREM AND ITS APPLICATIONS , 1955 .

[41]  Robert de Simone,et al.  CONCUR'98 Concurrency Theory , 1998, Lecture Notes in Computer Science.

[42]  Tiziana Margaria,et al.  A constraint-based variability modeling framework , 2012, International Journal on Software Tools for Technology Transfer.

[43]  Thomas A. Henzinger,et al.  Alternating-time temporal logic , 1999 .

[44]  Tiziana Margaria,et al.  Automatic Generation of the SWS- Challenge Mediator with jABC/ABC , 2009, Semantic Web Services Challenge.