Paper Info
Title
Structured Formalization of Service-Oriented Specifications
Abstract
We present and formalize concepts for the structured specification of system behavior based on services. Services are patterns of interaction between reactive components, thus supporting especially the development of distributed systems. We introduce a core set of concepts for the specification of basic services as well as for the combination of those to complex functionality. The result is an expressive mechanism for structured behavioral specifications. While basically independent from specific notations, we demonstrate the application of those concepts using (High-level) Message Sequence Charts and Mode Diagrams for the specification of services and their combination. We illustrate the approach using a simple telephone system as a running example.
Year
DOI
Venue
2009
10.1109/ECBS.2009.23
ECBS
Keywords
Field
DocType
structured behavioral specification,formalize concept,service-oriented specifications,structured formalization,expressive mechanism,basic service,simple telephone system,system behavior,structured specification,mode diagrams,message sequence charts,complex functionality,argon,context modeling,data mining,probability density function,telephony,distributed systems,data models,formal specification,hardware,automata,message sequence chart,software architecture,switches,reactive power
Data modeling,Notation,Programming language,Software engineering,Computer science,Automaton,Formal specification,AC power,Context model,Real-time computing,Software architecture,Telephony
Conference
Citations 
PageRank 
References 
0
0.34
7
Authors
3
Name
Order
Citations
PageRank
Markus Herrmannsdoerfer143323.43
Sabine Rittmann2485.89
Bernhard Schätz360494.43