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.

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.

­

• 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) 

The current state of our implementation (nightly build) can be installed in Eclipse Kepler/Luna via our Eclipse Update Site.

If you have any questions regarding SeSAME, please, contact the research staff from the Subproject B1 or Subproject B3.