Handbook of theoretical computer science (vol. B)
Workflow management: models, methods, and systems
Workflow management: models, methods, and systems
Specification of Graph Translators with Triple Graph Grammars
WG '94 Proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science
Symbolic Analysis of Transition Systems
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
Static Verification of Control and Data inWeb Service Compositions
ICWS '06 Proceedings of the IEEE International Conference on Web Services
BPSL Modeler -- Visual Notation Language for Intuitive Business Property Reasoning
Electronic Notes in Theoretical Computer Science (ENTCS)
Leveraging Integrated Tools for Model-Based Analysis of Service Compositions
ICIW '08 Proceedings of the 2008 Third International Conference on Internet and Web Applications and Services
MDD4SOA: Model-Driven Service Orchestration
EDOC '08 Proceedings of the 2008 12th International IEEE Enterprise Distributed Object Computing Conference
Goal-Equivalent Secure Business Process Re-engineering
Service-Oriented Computing - ICSOC 2007 Workshops
From UML to Alloy and back again
Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation
Model-Checking Behavioral Specification of BPEL Applications
Electronic Notes in Theoretical Computer Science (ENTCS)
Logic-based detection of conflicts in APPEL policies
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Non-functional properties in the model-driven development of service-oriented systems
Software and Systems Modeling (SoSyM)
SOCK: a calculus for service oriented computing
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Transforming BPEL to petri nets
BPM'05 Proceedings of the 3rd international conference on Business Process Management
| Hi-index | 0.00 |
SENSORIA proposes a model-driven approach for the entire development cycle of services-based applications and infrastructures including the design, formal analysis, deployment and re-engineering of services. This chapter presents the model-driven engineering vision of the project and a summary of achievements to demonstrate the feasibility of the approach. This approach and the challenges in model driven development are illustrated on the example of an end-to-end model transformation chain which bridges BPEL with precise formal model checking technologies and supports the back-annotation of the analysis results directly to the engineering level design model.