|
|
|
|
Teaching Material - Analysis of Service-Oriented Software |
|
- Behaviour Analysis of Service Compositions (slides, exercise)
Lectures by Howard Foster, Imperial College London, UK
3rd SENSORIA Summer School (SENSUS 2009), 29 June - 3 July, Keszthely, Hungary
Abstract In this presentation we provide a formal rigorous approach to analysing service compositions, through the perspectives of design, interactions, obligations and deployment. Service behaviour analysis includes the analysis of two important aspects of a service-oriented architecture style. Firstly, services formally exhibit their identity and permissible interactions through definitions in an interface description language and secondly, within the implementation of a service, the behaviour (state) of its interactions. The coordination of a service’s behaviour is formed from the basic operations of service invocation, replying to a service or receiving the reply from a service and this forms the basis for service analysis for its interaction behaviour. Standards elaborate the specification of how, what and when these interactions can occur.
The WS-Engineer Lab provides a fully interactive set of tutorials where students are assisted to analyse service compositions (highlighted in the presentation "Behaviour Analysis of Service Compositions") with certain properties for design, interactions, obligations and deployment. The WS-Engineer workbench is integrated in to the Eclipse IDE and students will be guided through its analysis features.
- Model-based Performance Analysis (introductory slides, case study, exercise)
Lectures by Stephen Gilmore, University of Edinburgh, UK
3rd SENSORIA Summer School (SENSUS 2009), 29 June - 3 July, Keszthely, Hungary
Abstract In this presentation we focus on methods and tools for analysing non-functional properties of services such as performance and responsiveness. We model services using a simple process calculus and analyse these models using state-space generation, numerical solution, discrete simulation and continuous simulation. The presentation will discuss on practical applications of these techniques, illustrated by demonstrations of the supporting software tools. If time permits, we will discuss service-level agreements which form a contract between service provider and service consumer, specifying a quality of service which is to be delivered in a high percentage of cases.
- Static Analysis of Services (slides)
Lectures by Flemming Nielson, Technical University of Denmark 2nd International Summer School on the Global Computing Approach on Analysis of Systems (GLOBAN 2008), August 21-25, 2006, Warsaw, Poland
Abstract Static Analysis has its origins in improving the efficiency of interpreters and compiled code but is gaining increased importance due to its ability to validate important aspects of systems behaviour. For several years static analysis have been used to analyse process algebras for a variety of communication and mobility paradigms in order to establish communication invariants and correctness of communication protocols. A new challenge arises from the use of process algebras for modelling services - ensuring for example that service invocations do not interfere with each other. In these lectures we provide the foundations for performing static analysis for process algebras including considerations of correctness, adequacy and complexity and touching upon the distinction between compositionality and characteristics.
- Flow Logics (slides)
Lectures by Flemming Nielson, Technical University of Denmark 1st International Summer School on the Global Computing Approach on Analysis of Systems (GLOBAN 2006), September 22-26, Lyngby near Copenhagen, Denmark
Abstract We give an introduction to the Flow Logic approach to analysing process calculi like the pi-calculus, spi-calculus, mobile ambients and LySa. The approach makes the same distinction between specifying an acceptable analysis estimate and computing the best analysis estimate as is done in approaches based on type systems (viz. type checking versus type inference). However, it applies a different set of analysis techniques having their roots in control flow analysis, data flow analysis and abstract interpretation. The approach focuses on constructing specifications where a best analyses can always be computed in polynomial time although more complex analyses can be specified as well.
- Modal process logics (slides)
Lectures by Luís Caires, New University of Lisbon, Portugal
1st International Summer School on the Global Computing Approach on Analysis of Systems (GLOBAN 2006), September 22-26, Lyngby near Copenhagen, Denmark
Abstract Modal process logics are a powerful tool for specifying and reasoning about behavioral properties of concurrent and distributed systems expressed with process calculi. More recently, logics have also been proposed which can express many interesting properties of systems with rich temporal and structural dynamics, for example, properties about spatial configurations or usage of resources. In these lectures, I will review behavioral and spatial logics for concurrency and distribution, covering principles, and associated specification and verification techniques.
- Stochastic Modelling (slides)
Lectures by Stephen Gilmore, University of Edinburgh, Scotland 1st International Summer School on the Global Computing Approach on Analysis of Systems (GLOBAN 2006), September 22-26, Lyngby near Copenhagen, Denmark
Abstract In some circumstances it is not sufficient to know that a computer system will not exhibit unwanted behaviour: one wants to know that it will deliver the desired behaviour within a prescribed time bound, or with a specified quality of service. Quantitative methods are needed here to ensure timely responses to requests. These lectures shows how stochastic process algebras are used to quantify system performance.
|
|
|
 |
|
