Iterative model-driven development of adaptable service-based applications

ABSTRACT

Flexibility and interoperability make web services well suited for designing highly-customizable reactive service-based applications, that is interactive applications that can be rapidly adapted to new requirements and environmental conditions. This is the case, for example of personal data managers that many users tailor to their needs to meet different usage conditions and requests.

In this paper, we propose a model-based approach that provides users with the ability of rapidly developing, adapting and reconfiguring reactive service-based applications to meet new requirements and needs. Users specify their needs by describing sample executions that include interactions with web services through an intuitive interface. Interactions are stored in a visual formalism that integrates live sequence charts with graph transformation systems. Models can be visualized, modified, executed and automatically analyzed to identify inconsistencies

REFERENCES

• 1: Marco Brambilla , Stefano Ceri , Piero Fraternali , Ioana Manolescu, Process modeling in Web applications, ACM Transactions on Software Engineering and Methodology (TOSEM), v.15 n.4, p.360-409, October 2006 [doi>10.1145/1178625.1178627]
• 2: Werner Damm , David Harel, LSCs: Breathing Life into Message Sequence Charts, Formal Methods in System Design, v.19 n.1, p.45-80, July 2001 [doi>10.1023/A:1011227529550 ]
• 3: H. Ehrig , H.-J. Kreowski , U. Montanari , G. Rozenberg, Handbook of graph grammars and computing by graph transformation: vol. 3: concurrency, parallelism, and distribution, World Scientific Publishing Co., Inc., River Edge, NJ, 1999
• 4: David Harel , Rami Marelly, Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine, Springer-Verlag New York, Inc., Secaucus, NJ, 2003
• 5: Jan Hendrik Hausmann , Reiko Heckel , Gabi Taentzer, Detection of conflicting functional requirements in a use case-driven approach: a static analysis technique based on graph transformation, Proceedings of the 24th International Conference on Software Engineering, May 19-25, 2002, Orlando, Florida [doi>10.1145/581339.581355]
• 6: L. Lambers, H. Ehrig, F. Orejas, and U. Prange. Adhesive high-level replacement systems with negative application conditions. In Workshop on Applied and Computational Category Theory. Electronic Communications of the EASST, 2007.
• 7: D. Lorenzoli , Mussino, M. Pezze , A. Sichel , D. Tosi, A SOA based Self-Adaptive PERSONAL MOBILITY MANAGER, Proceedings of the IEEE International Conference on Services Computing, p.479-486, September 18-22, 2006 [doi>10.1109/SCC.2006.16]
• 8: Tien N. Nguyen, Model-based version and configuration management for a web engineering lifecycle, Proceedings of the 15th international conference on World Wide Web, May 23-26, 2006, Edinburgh, Scotland [doi>10.1145/1135777.1135842]

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.1 Requirements/Specifications
          Subjects: Languages

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.1 Requirements/Specifications
          Subjects: Methodologies (e.g., object-oriented, structured)
      D.2.4 Software/Program Verification
          Subjects: Validation; Formal methods
      D.2.6 Programming Environments
          Subjects: Graphical environments; Interactive environments

General Terms:
Verification

Keywords:
automated analysis, graph transformations, live sequence charts, service integration, visual languages