Services as a paradigm of computation

Authors:
Wolfgang Reisig;Jan Bretschneider;Dirk Fahland;Niels Lohmann;Peter Massuthe;Christian Stahl
Affiliations:
Humboldt-Universität zu Berlin, Institut für Informatik, Berlin, Germany;Humboldt-Universität zu Berlin, Institut für Informatik, Berlin, Germany;Humboldt-Universität zu Berlin, Institut für Informatik, Berlin, Germany;Humboldt-Universität zu Berlin, Institut für Informatik, Berlin, Germany;Humboldt-Universität zu Berlin, Institut für Informatik, Berlin, Germany;Humboldt-Universität zu Berlin, Institut für Informatik, Berlin, Germany
Venue:
Formal methods and hybrid real-time systems
Year:
2007

Citing 9
Cited 1

Automata on infinite objects

Handbook of theoretical computer science (vol. B)
Why interaction is more powerful than algorithms

Communications of the ACM
Interactive foundations of computing

Theoretical Computer Science - Special issue: theoretical aspects of coordination languages
Specification and development of interactive systems: focus on streams, interfaces, and refinement

Specification and development of interactive systems: focus on streams, interfaces, and refinement
A Calculus of Communicating Systems

A Calculus of Communicating Systems
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers

Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Interactive Computation: The New Paradigm

Interactive Computation: The New Paradigm
Operating guidelines for finite-state services

ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Interactive algorithms 2005

MFCS'05 Proceedings of the 30th international conference on Mathematical Foundations of Computer Science

Proof Techniques for Adapter Generation

Web Services and Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract

The recent success of service-oriented architectures gives rise to some fundamental questions: To what extent do services constitute a new paradigm of computation? What are the elementary ingredients of this paradigm? What are adequate notions of semantics, composition, equivalence? How can services be modeled and analyzed? This paper addresses and answers those questions, thus preparing the ground for forthcoming software design techniques.