Handbook of graph grammars and computing by graph transformation: vol. 2: applications, languages, and tools
Abstract State Machines: A Method for High-Level System Design and Analysis
Abstract State Machines: A Method for High-Level System Design and Analysis
Model-Driven Web Services Development
EEE '04 Proceedings of the 2004 IEEE International Conference on e-Technology, e-Commerce and e-Service (EEE'04)
EDOC '05 Proceedings of the Ninth IEEE International EDOC Enterprise Computing Conference
WSDL Automatic Generation from UML Models in a MDA Framework
NWESP '05 Proceedings of the International Conference on Next Generation Web Services Practices
Software performance model-driven architecture
Proceedings of the 2006 ACM symposium on Applied computing
The model transformation language of the VIATRA2 framework
Science of Computer Programming
Dependability evaluation of web service-based processes
EPEW'06 Proceedings of the Third European conference on Formal Methods and Stochastic Models for Performance Evaluation
Semantic-Based development of service-oriented systems
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Model-based optimization of enterprise application and service deployment
ISAS'05 Proceedings of the Second international conference on Service Availability
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Workflow-driven tool integration using model transformations
Graph transformations and model-driven engineering
Lessons learned from building model-driven development tools
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
As more and more business-critical systems are based upon services deployed over flexible and dynamic platforms like Service-Oriented Architecture (SOA), there is an increasing need for such services to meet their non-functional requirements like reliability, availability, security, etc. To achieve such objectives, these services need to be designed carefully making critical design decisions early in the development process on an architectural level. In the current paper, we aim at carrying out a performability analysis of service configurations to estimate the cost of using reliable messaging techniques for services with respect to performance. Such an analysis is enabled by automated model transformations carried out within the VIATRA2 framework.