Describing web service architectures through design-by-contract

Ling, S, Poernomo, I and Schmidt, H 2003, 'Describing web service architectures through design-by-contract', Lecture Notes in Computer Science ISCIS 2003, vol. 2869, pp. 1008-1018.


Document type: Journal Article
Collection: Journal Articles

Title Describing web service architectures through design-by-contract
Author(s) Ling, S
Poernomo, I
Schmidt, H
Year 2003
Journal name Lecture Notes in Computer Science ISCIS 2003
Volume number 2869
Start page 1008
End page 1018
Total pages 11
Publisher Springer-Verlag
Abstract Architectural description languages (ADLs) are used to specify a high-level, compositional view of a software application, specifying how a system is to be composed from coarse-grain components. ADLs usually come equipped with a formal dynamic semantics, facilitating specification and analysis of distributed and event-based systems. In this paper, we describe the Radl, an ADL framework that provides both a process and a structural view of web service-based systems. We use Petri-net descriptions to give a dynamic view of business workflow for web service collaboration. We adapt the approach of to define a form of design-by-contract for configuring workflow architectures. This serves as a configuration-level means of constructing safer, more robust systems.
Subject Software Engineering
Programming Languages
Computer Software not elsewhere classified
DOI - identifier 10.1007/978-3-540-39737-3_125
Copyright notice Springer-Verlag Berlin Heidelberg 2003
ISSN 0302-9743
Versions
Version Filter Type
Citation counts: Scopus Citation Count Cited 2 times in Scopus Article | Citations
Altmetric details:
Access Statistics: 160 Abstract Views  -  Detailed Statistics
Created: Mon, 13 Dec 2010, 14:37:00 EST by Catalyst Administrator
© 2014 RMIT Research Repository • Powered by Fez SoftwareContact us