Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
The design patterns Smalltalk companion
The design patterns Smalltalk companion
Fluid Flow Approximation of PEPA models
QEST '05 Proceedings of the Second International Conference on the Quantitative Evaluation of Systems
LTSA-WS: a tool for model-based verification of web service compositions and choreography
Proceedings of the 28th international conference on Software engineering
Pattern Oriented Software Architecture: On Patterns and Pattern Languages (Wiley Software Patterns Series)
QEST '07 Proceedings of the Fourth International Conference on Quantitative Evaluation of Systems
QoS-Aware Service Composition in Dino
ECOWS '07 Proceedings of the Fifth European Conference on Web Services
A Model-Driven Approach to Service Orchestration
SCC '08 Proceedings of the 2008 IEEE International Conference on Services Computing - Volume 2
CMC-UMC: a framework for the verification of abstract service-oriented properties
Proceedings of the 2009 ACM symposium on Applied Computing
SOA Design Patterns
A calculus for orchestration of web services
ESOP'07 Proceedings of the 16th European conference on Programming
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
| Hi-index | 0.00 |
We describe the SENSORIA development approach using a pattern language for augmenting service engineering with formal analysis, transformation and dynamicity. The pattern language is designed to help software developers choose appropriate tools and techniques to develop service-oriented systems with support from formal methods; the full pattern catalog spans the whole development process from the modeling stage to deployment activities. Some of the patterns are specific to SENSORIA; other patterns are extensions or adaptations of patterns presented by other authors.