SeSAME - Service Specification, Analysis, and Matching Environment
Overview
SeSAME is a tool-suite that supports market participants in specifying services and service compositions and analyzing them based on their specifications using matching, functional verification, and non-functional analysis. In addition, SeSAME enables to configure the specification language and matchers used within SeSAME for a better suitability to a considered service market.
Architecture
SeSAME combines five tools:
- SSE (Service Specification Environment) for comprehensive specification of services and service compositions
- MatchBox for service matching
- LM Configurator for configuration of the comprehensive specification language of SSE and the matchers of MatchBox
- Functional Analysis Tools for verification of funtional correctness
- SimuLizar for analysis of non-functional properties
Have a look at our SeSAME Screencast for more impressions.
Related Publications
- Svetlana Arifulina, Marie Christin Platenius, Matthias Becker, Gregor Engels, Wilhelm Schäfer:
An Overview of Service Specification Language and Matching in On-The-Fly Computing
Technical Report tr-ri-15-347 (goo.gl/qVXo4T) (2015) - Svetlana Arifulina, Matthias Becker, Marie Christin Platenius, Sven Walther:
SeSAME: Modeling and Analyzing High-Quality Service Compositions
In Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014). (2014) - Svetlana Arifulina, Marie Christin Platenius, Steffen Becker, Christian Gerth, Gregor Engels, Wilhelm Schäfer:
Market-Optimized Service Specification and Matching
In Proceedings of the 12th International Conference on Service-Oriented Computing (ICSOC 2014). (2014)
Installation
The current state of our implementation (nightly build) can be installed in Eclipse Kepler/Luna via our Eclipse Update Site.
Contact
If you have any questions regarding SeSAME, please, contact the research staff from the Subproject B1 or Subproject B3.