Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering 2014
DOI: 10.1145/2642937.2648621
|View full text |Cite
|
Sign up to set email alerts
|

SeSAME

Abstract: Today, software components are traded on markets in form of services. These services can be service compositions consisting of several services. If a software architect wants to provide such a service composition in the market for trade, she needs to perform several tasks: she needs to model the composition, to discover existing services to be part of that composition, and to analyze the composition's functional correctness as well as its quality, e.g., performance. Up to now, the architect needed to find and … Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
0
0
1

Year Published

2015
2015
2017
2017

Publication Types

Select...
3
2
1

Relationship

0
6

Authors

Journals

citations
Cited by 9 publications
(1 citation statement)
references
References 10 publications
0
0
0
1
Order By: Relevance
“…Die Autoren von [10] lösen sich von den Einschränkungen aktueller Strukturen der Automation und skizzieren eine Dienstearchitektur mit Industrie 4.0 (I40)-Komponenten. Für die Modulbeschreibung inspirierend ist vor allem die Werkzeugsammlung Sesame, die unter anderem eine umfangreiche Dienstespezifikationssprache bereitstellt [11]. Neben der Signatur eines Dienstes (Parameterlisten und deren Typen) können Vor-und Nachbedingungen für die Ausführung eines Dienstes beschrieben werden, um so für zustandsbehaftete Dienste zulässige Aufruffolgen definieren zu lassen.…”
Section: Bestehende Beschreibungsformateunclassified
“…Die Autoren von [10] lösen sich von den Einschränkungen aktueller Strukturen der Automation und skizzieren eine Dienstearchitektur mit Industrie 4.0 (I40)-Komponenten. Für die Modulbeschreibung inspirierend ist vor allem die Werkzeugsammlung Sesame, die unter anderem eine umfangreiche Dienstespezifikationssprache bereitstellt [11]. Neben der Signatur eines Dienstes (Parameterlisten und deren Typen) können Vor-und Nachbedingungen für die Ausführung eines Dienstes beschrieben werden, um so für zustandsbehaftete Dienste zulässige Aufruffolgen definieren zu lassen.…”
Section: Bestehende Beschreibungsformateunclassified