Supporting variability dependencies for rule-based service compositions in prosumer environments

Prosumer service provision is characterised by the creation, composition and sharing of services by non-expert users. Among the various creation strategies, rule-based service composition offers many advantages for prosumers. Variability in service composition and its implications regarding creation flexibility and domain adaptation can be associated to service templates in the form of rules, and shared by prosumers in a cooperative way. In this work we define a variability model, integrable in composable and customisable service templates, which supports adaptability in the form of variations and their dependencies. We consider this model in the development of a rule-based service composition environment integrating a creation wizard, guiding the prosumer through the customisation process, and some solutions for dependency problems, detecting and correcting prosumer undesired behaviour in a fault-tolerant approach. Finally, we implement the variability model by using web service technologies and evaluate how these technologies improve the dynamic provision of these variations, enriching the service composition process in prosumer environments.

[1]  Wil M. P. van der Aalst,et al.  Constraint-Based Workflow Models: Change Made Easy , 2007, OTM Conferences.

[2]  Robert E. Tarjan,et al.  Enumeration of the Elementary Circuits of a Directed Graph , 1972, SIAM J. Comput..

[3]  Mike Press Democratizing Innovation: Eric Von Hippel/The User Innovation Revolution: Charles Leadbeater , 2006 .

[4]  Klaus Pohl,et al.  Communicating the variability of a software-product family to customers , 2003, Software and Systems Modeling.

[5]  Marco Montali,et al.  Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata , 2011, BPM.

[6]  Rob Miller,et al.  Outlier finding: focusing user attention on possible errors , 2001, UIST '01.

[7]  Kyung-Goo Doh,et al.  Pragmatic granularity decision for right-grained services in service-oriented modelling , 2012, Int. J. Web Grid Serv..

[8]  Dimitra Giannakopoulou,et al.  Automata-based verification of temporal properties on running programs , 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).

[9]  Hyun-Bae Jeon,et al.  Conflict detection in composite web services based on model checking , 2013, Int. J. Web Grid Serv..

[10]  Salamah Salamah,et al.  Improving Pattern-Based LTL Formulas for Automata Model Checking , 2008, Fifth International Conference on Information Technology: New Generations (itng 2008).

[11]  Frank Leymann,et al.  Generation of BPEL Customization Processes for SaaS Applications from Variability Descriptors , 2008, 2008 IEEE International Conference on Services Computing.

[12]  Wil M. P. van der Aalst,et al.  A configurable reference modelling language , 2007, Inf. Syst..

[13]  Diego López-de-Ipiña,et al.  Enabling Flexible and Continuous Capability Invocation in Mobile Prosumer Environments , 2012, Sensors.

[14]  Alan F. Blackwell,et al.  First steps in programming: a rationale for attention investment models , 2002, Proceedings IEEE 2002 Symposia on Human Centric Computing Languages and Environments.

[15]  Vincenzo Loia,et al.  Personalized Knowledge Models Using RDF-Based Fuzzy Classification , 2006, Soft Computing in Web Information Retrieva.

[16]  Brad A. Myers,et al.  Citrine: providing intelligent copy-and-paste , 2004, UIST '04.

[17]  Ramón Alcarria,et al.  A Variability Model for Template Personalization in Mobile Prosumer Environments , 2013, 2013 27th International Conference on Advanced Information Networking and Applications Workshops.

[18]  Wonhong Nam,et al.  Semantic web service composition via model checking techniques , 2013, Int. J. Web Grid Serv..