Mashup Development for Everybody A Planning-Based Approach

Today’s service mashup technologies usually focus on assisting programmers to provide more powerful and valuable integrated applications to the users. A significant set of scripting languages, graphical tools and web services are used for this purpose, all addressing users with significant IT background. This paper aims at extending the power of mashup development to end users and application experts by automatically taking care of the tedious technical details like interface specifications, types, and syntactic constraints. In detail we support simple and intuitive mashup specifications which are automatically completed to runnable mashups by means of service discovery-like methods and planning. We illustrate our approach by means of a concrete case study executed within our jABC/jETI development and (remote) execution framework.

[1]  Alonzo Church,et al.  Logic, arithmetic, and automata , 1962 .

[2]  Tiziana Margaria,et al.  A Pragmatic Approach to Software Synthesis , 1994, Workshop on Interface Definition Languages.

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

[4]  Roy Fielding,et al.  Architectural Styles and the Design of Network-based Software Architectures"; Doctoral dissertation , 2000 .

[5]  Alex M. Andrew,et al.  Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2002 .

[6]  Tran Cao Son,et al.  Adapting Golog for Composition of Semantic Web Services , 2002, KR.

[7]  Jayadev Misra,et al.  A programming model for the orchestration of Web services , 2004, Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004..

[8]  Tiziana Margaria,et al.  jETI: A Tool for Remote Tool Integration , 2005, TACAS.

[9]  Jorge A. Baier,et al.  Planning with Temporally Extended Goals Using Heuristic Search , 2006, ICAPS.

[10]  Tiziana Margaria,et al.  Service Engineering: Linking Business and IT , 2006, Computer.

[11]  Tiziana Margaria,et al.  jMosel: A Stand-Alone Tool and jABC Plugin for M2L(Str) , 2006, SPIN.

[12]  Tiziana Margaria,et al.  Model-Driven Development with the jABC , 2006, Haifa Verification Conference.

[13]  Tiziana Margaria,et al.  Biological LC/MS Preprocessing and Analysis with jABC, jETI and xcms , 2006, Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).

[14]  Birgitta König-Ries,et al.  Semantic Service Discovery with DIANE Service Descriptions , 2007, 2007 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Workshops.

[15]  Tiziana Margaria,et al.  An Approach to Discovery with miAamics and jABC , 2007, 2007 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Workshops.

[16]  Matthias Kaiser,et al.  Toward the Realization of Policy-Oriented Enterprise Management , 2007, Computer.

[17]  Jorge A. Baier,et al.  A Heuristic Search Approach to Planning with Temporally Extended Preferences , 2007, IJCAI.

[18]  David Gay,et al.  User-friendly functional programming for web mashups , 2007, ICFP '07.

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

[20]  Bernhard Steffen,et al.  Full Life-Cycle Support for End-to-End Processes , 2007, Computer.

[21]  Tiziana Margaria,et al.  Genesys: service-oriented construction of property conform code generators , 2008, Innovations in Systems and Software Engineering.

[22]  Jens Lemcke,et al.  Towards a Framework for Policy-Oriented Enterprise Management , 2008, AAAI Spring Symposium: AI Meets Business Rules and Process Management.

[23]  Tiziana Margaria,et al.  Abductive Synthesis of the Mediator Scenario with jABC and GEM , 2008, EON.

[24]  Tiziana Margaria,et al.  Bio-jETI: a service integration, design, and provisioning platform for orchestrated bioinformatics processes , 2008, BMC Bioinformatics.

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

[26]  Yanbo Han,et al.  Mashroom: end-user mashup programming using nested tables , 2009, WWW '09.

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

[28]  Tiziana Margaria,et al.  Continuous Model-Driven Engineering , 2009, Computer.

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

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