A compositional approach to performance modelling
A compositional approach to performance modelling
Handbook of graph grammars and computing by graph transformation: vol. 2: applications, languages, and tools
From UML sequence diagrams and statecharts to analysable petri net models
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
Abstract State Machines: A Method for High-Level System Design and Analysis
Abstract State Machines: A Method for High-Level System Design and Analysis
A Compositional Semantics for UML State Machines Aimed at Performance Evaluation
WODES '02 Proceedings of the Sixth International Workshop on Discrete Event Systems (WODES'02)
Proceedings of the 4th international workshop on Software and performance
WOSP '04 Fourth International Workshop on Software and Performance 2004
From UML activity diagrams to Stochastic Petri nets: application to software performance engineering
WOSP '04 Proceedings of the 4th international workshop on Software and performance
Analysing UML 2.0 activity diagrams in the software performance engineering process
WOSP '04 Proceedings of the 4th international workshop on Software and performance
Model-Based Performance Prediction in Software Development: A Survey
IEEE Transactions on Software Engineering
Model-Driven Web Services Development
EEE '04 Proceedings of the 2004 IEEE International Conference on e-Technology, e-Commerce and e-Service (EEE'04)
DeW: A Dependable Web Services Framework
RIDE '04 Proceedings of the 14th International Workshop on Research Issues on Data Engineering: Web Services for E-Commerce and E-Government Applications (RIDE'04)
Basic Concepts and Taxonomy of Dependable and Secure Computing
IEEE Transactions on Dependable and Secure Computing
Performance by unified model analysis (PUMA)
Proceedings of the 5th international workshop on Software and performance
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
Modeling Non-Functional Aspects in Service Oriented Architecture
SCC '06 Proceedings of the IEEE International Conference on Services Computing
Domain-Specific Modeling
A model-driven approach to describe and predict the performance of composite services
WOSP '07 Proceedings of the 6th international workshop on Software and performance
Dependability Assessment of Grid Middleware
DSN '07 Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks
The model transformation language of the VIATRA2 framework
Science of Computer Programming
WOSP '08 Proceedings of the 7th international workshop on Software and performance
MDD4SOA: Model-Driven Service Orchestration
EDOC '08 Proceedings of the 2008 12th International IEEE Enterprise Distributed Object Computing Conference
A Model-Driven Approach to Service Orchestration
SCC '08 Proceedings of the 2008 IEEE International Conference on Services Computing - Volume 2
Model-based optimization of enterprise application and service deployment
ISAS'05 Proceedings of the Second international conference on Service Availability
Measuring the dependability of web services for use in e-science experiments
ISAS'06 Proceedings of the Third international conference on Service Availability
A UML2 profile for service modeling
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Performance prediction of service-oriented systems with layered queueing networks
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
UML extensions for service-oriented systems
Rigorous software engineering for service-oriented systems
Methodologies for model-driven development and deployment: an overview
Rigorous software engineering for service-oriented systems
Security-aware web service composition approaches: state-of-the-art
Proceedings of the 13th International Conference on Information Integration and Web-based Applications and Services
Model-Based service discovery and orchestration for OSLC services in tool chains
ICWE'12 Proceedings of the 12th international conference on Web Engineering
Checking correctness of services modeled as priced timed automata
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II
Implementing service oriented architecture - a case study
International Journal of Business Information Systems
Hi-index | 0.00 |
Systems based on the service-oriented architecture (SOA) principles have become an important cornerstone of the development of enterprise-scale software applications. They are characterized by separating functions into distinct software units, called services, which can be published, requested and dynamically combined in the production of business applications. Service-oriented systems (SOSs) promise high flexibility, improved maintainability, and simple re-use of functionality. Achieving these properties requires an understanding not only of the individual artifacts of the system but also their integration. In this context, non-functional aspects play an important role and should be analyzed and modeled as early as possible in the development cycle. In this paper, we discuss modeling of non-functional aspects of service-oriented systems, and the use of these models for analysis and deployment. Our contribution in this paper is threefold. First, we show how services and service compositions may be modeled in UML by using a profile for SOA (UML4SOA) and how non-functional properties of service-oriented systems can be represented using the non-functional extension of UML4SOA (UML4SOA-NFP) and the MARTE profile. This enables modeling of performance, security and reliable messaging. Second, we discuss formal analysis of models which respect this design, in particular we consider performance estimates and reliability analysis using the stochastically timed process algebra PEPA as the underlying analytical engine. Last but not least, our models are the source for the application of deployment mechanisms which comprise model-to-model and model-to-text transformations implemented in the framework VIATRA. All techniques presented in this work are illustrated by a running example from an eUniversity case study.