Service Systems Modelling

Web Service Design Flow based on BIP

Service orientation is a promising architectural concept for the cost efficient coupling of encapsulated software components called "services" and for their easy adaptation to new requirements. Our research focuses on scalable methods for specifying required properties of services and for guaranteeing that a given software implementation exhibits these properties. In particular, we work on a model-driven Web Service Design Flow based on the BIP component framework. Our approach aims to exploit the specific structure of Web Service architectures and the principles of correctness-by-construction: Web Service architectures are treated as reusable design artifacts that may be composed, such that their properties are preserved.

In [SMK12], we have introduced a language embedding of WS-BPEL into the BIP component framework. Our tool translates WS-BPEL 2.0 service compositions into BIP models, while preserving the structure of the original service composition. The models can be analyzed and subsequently integrated into Web Service architectures, such as those defined in [SVK14] for SOAP-based or RESTful Web Services. In the same work, we introduce a first proposal for how to exploit these architectures in the frame of our model-driven design flow.

WS-BPEL embedding into BIP [SMK12]
The tool will be available soon. For more information, you can contact at emmastac[@]csd.auth.gr

Correct-by-Construction Web Service Architectures [SVK14]
We provide the source code and the executable Web Service for a Shopping Cart. The service can be accessed at http://[155.207.131.79]:8090 with the provided client program. The Shopping Cart service has been also implemented using our model-driven Web Service Design Flow based on BIP. We provide the BIP source code and the executable Web Service. The service can be accessed at http://[155.207.131.47]:9098 with the same client program. Finally, we provide the BIP source code and executable model for a REST client-server Web Service architecture for another Shopping Cart.

The source code and executable programs, along with instructions on how to use them can be found at the following links:

  1. Web Service application: Shopping Cart
  2. BIP executable for SOAP-based shopping Cart
  3. BIP model for RESTful Shopping Cart
    • BIP model including sample clients and the service.

Contact persons: Prof. Panagiotis Katsaros, Emmanouela Stachtiari
Joint work with: Prof. Christos Georgiadis, Nikos Vesyropoulos

Using BIP to reinforce correctness of resource-constrained IoT applications [LSKB15]
In this article, we introduce a model-based rigorous analysis approach using the BIP component framework. We present a BIP model for IoT applications running on the Contiki OS. At the application level, we verify qualitative properties for service responsiveness requirements, whereas at the system level we can validate qualitative and quantitative properties using statistical model checking. We present results for an application scenario running on a distributed system infrastructure.
Read more and download material

Contact persons: Prof. Panagiotis Katsaros, Alexios Lekidis, Emmanouela Stachtiari
Joint work with: Marius Bozga, Prof. Christos Georgiadis

Rigorous Design of IoT Systems Using the BIP Component Framework [submitted work]
In this article, we introduce a rigorous model-based design flow for Internet of Things (IoT) systems with nodes running an IoT operating system.

Download BIP and Statistical BIP

BIP model for state space exploration Download
BIP model for performance evaluation Download
Contiki application for the Cooja simulator Download

Contact persons: Prof. Panagiotis Katsaros, Alexios Lekidis, Emmanouela Stachtiari
Joint work with: Marius Bozga, Prof. Christos Georgiadis

Home | Projects | Publications | Partners | Related Links | News | People | Contact copyright � 2012 DSG group