Graph grammars with negative application conditions
Fundamenta Informaticae - Special issue on graph transformations
LSCs: Breathing Life into Message Sequence Charts
Formal Methods in System Design
Proceedings of the 24th International Conference on Software Engineering
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective
ICGT '02 Proceedings of the First International Conference on Graph Transformation
An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
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
Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)
Model-based version and configuration management for a web engineering lifecycle
Proceedings of the 15th international conference on World Wide Web
Interaction Analysis in Aspect-Oriented Models
RE '06 Proceedings of the 14th IEEE International Requirements Engineering Conference
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)
Iterative model-driven development of adaptable service-based applications
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Electronic Notes in Theoretical Computer Science (ENTCS)
Synthesis revisited: generating statechart models from scenario-based requirements
Formal Methods in Software and Systems Modeling
Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Object Flow Definition for Refined Activity Diagrams
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
| Hi-index | 0.00 |
Web services are open, interoperable, easy to integrate and reuse, and are extensively used in many application domains. Research and best practices have produced excellent support for developing large-scale web-based applications implementing complex business processes. Flexibility and interoperability of web services make them well suited also for highly-customizable reactive service-based applications, that is interactive applications which serve few users, and can be rapidly adapted to new requirements and environmental conditions. This is the case, for example of personal data managers tailored to the needs of few specific users who want to adapt them to different conditions and requests. Classic development approaches that require experts of web service technologies do not well support this class of applications which call for rapid individual customization and adaptation by non-expert users. In this paper, we present the formal framework of a model-based approach that provides expert users with the ability of rapidly building, adapting and reconfiguring reactive service-based applications according to new requirements and needs. Moreover this formal approach will presumably allow adaptations and reconfigurations by non-expert users as well. The underlying technique integrates two user-friendly, visual and executable formalisms: live sequence charts, to describe control flow, and graph transformation systems, to describe data flow and processing. Main results of the paper are the specification and semantics of the integration and early analysis techniques revealing inconsistencies.