Modelling and analysing reliable service-oriented processes

@article{Zarras2008ModellingAA,
  title={Modelling and analysing reliable service-oriented processes},
  author={Apostolos V. Zarras and Panos Vassiliadis and Val{\'e}rie Issarny},
  journal={Int. J. Bus. Process. Integr. Manag.},
  year={2008},
  volume={3},
  pages={147-163}
}
This paper introduces principled methods for the reliability analysis of business processes that rely on web services. The input to the problem is the BPEL specification of a business process and the output is the prediction of the process's reliability. The first step to this end involves a method for the translation of the BPEL specification to its corresponding UML model. The second step of the reliability analysis involves a principled way for the annotation of the UML model with the… Expand
1 Citations

References

SHOWING 1-10 OF 33 REFERENCES
Model-Driven Dependability Analysis of WebServices
TLDR
This paper focuses on the development of a principled methodology for the dependability analysis of composite Web services, built upon BPEL and extended to Block Diagrams and Markov models. Expand
Quality Analysis of Dependable Systems: A Developer Oriented Approach
TLDR
An architecture-based environment is proposed that facilitates the specification and quality analysis of DS at the architectural level and renders the use of traditional quality analysis techniques more tractable. Expand
Reliability Support for the Model Driven Architecture
TLDR
The novel contribution of this paper is to provide a means to support reliability design following the principles of the Model Driven Architecture to contribute to the task of consistently addressing dependability concerns from the early to late stages of software engineering. Expand
Automating the performance and reliability analysis of enterprise information systems
  • A. Zarras, V. Issarny
  • Computer Science
  • Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001)
  • 2001
TLDR
The authors concentrate on the performance and reliability of EIS and investigate the automatic generation of quality models from EIS architectural descriptions comprising additional information related to the aspects that affect the quality of the EIS. Expand
A model driven approach for software systems reliability
  • G. N. Rodrigues
  • Computer Science
  • Proceedings. 26th International Conference on Software Engineering
  • 2004
TLDR
MDA appears to be a suitable framework to assess dependability concerns from the early to the late stages of software development and, therefore, semantically integrate analysis and design models into one environment. Expand
A model driven architecture approach to analysis of non-functional properties of software architectures
TLDR
This work presents an approach to managing formal models using Model Driven Architecture technologies that delivers analysis techniques through integration with the design tools and repositories that practitioners use and relies on standards to permit deployment in multiple tools. Expand
Quality driven web services composition
TLDR
This paper proposes a global planning approach to optimally select component services during the execution of a composite service, and experimental results show that thisglobal planning approach outperforms approaches in which the component services are selected individually for each task in a Composite service. Expand
Business Process Execution Language for Web Service (BPEL)
TLDR
An overview of standardization efforts in the area of business process execution, of the main concepts of BPEL, and of its support in practice is given. Expand
A model-driven approach to non-functional analysis of software architectures
  • J. Skene, W. Emmerich
  • Computer Science
  • 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings.
  • 2003
TLDR
This work presents an approach to managing formal models using model driven architecture technologies that deliver analysis techniques through integration with the design tools and repositories that practitioners use, and relies on standards to permit deployment in multiple tools. Expand
Precise service level agreements
TLDR
This work uses the semantics of SLAng to define a notion of SLA compatibility, and an extension to UML that enables the modelling of service situations as a precursor to analysis, implementation and provisioning activities. Expand
...
1
2
3
4
...