Handbook of graph grammars and computing by graph transformation: vol. 3: concurrency, parallelism, and distribution
LSCs: Breathing Life into Message Sequence Charts
Formal Methods in System Design
Proceedings of the 24th International Conference on Software Engineering
Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine
Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine
Model-based version and configuration management for a web engineering lifecycle
Proceedings of the 15th international conference on World Wide Web
A SOA based Self-Adaptive PERSONAL MOBILITY MANAGER
SCC '06 Proceedings of the IEEE International Conference on Services Computing
Process modeling in Web applications
ACM Transactions on Software Engineering and Methodology (TOSEM)
A formal framework for developing adaptable service-based applications
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Service research challenges and solutions for the future internet
Hi-index | 0.00 |
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