Predictable component architectures using dependent finite state machines

Schmidt, H, Kramer, B, Poernomo, I and Reussner, R 2004, 'Predictable component architectures using dependent finite state machines', Radical Innovations of Software and Systems Engineering in the Future, vol. 2941, pp. 310-324.


Document type: Journal Article
Collection: Journal Articles

Title Predictable component architectures using dependent finite state machines
Author(s) Schmidt, H
Kramer, B
Poernomo, I
Reussner, R
Year 2004
Journal name Radical Innovations of Software and Systems Engineering in the Future
Volume number 2941
Start page 310
End page 324
Total pages 15
Publisher Springer
Abstract The software architect is concerned with both functional and non-functional design. An important task in functional design is the adaptation of a components provided interface for use by other components. In non-functional analysis the focus is rather on the prediction and reasoning about reliability and performance properties. We present a method for automatic adaptation, based upon parameterised contracts. This concept extends the notion of design-by-contract from precondition, postcondition and invariant assertions on objects to dynamic protocol descriptions for required and provided interfaces of components. We introduce a novel state machine based model, called dependent finite state machines (DFSMs), and show how DFSMs provide a natural framework for both automatic component adaptation and computational reasoning about timing properties of components and architectures. We use the well-known production cell example for demonstrating our architectural description language.
Keyword(s) automated interface adaptation
component-based interface specification
component-based prediction
finite state machines
production cell
protocol types
parameterised contracts
software architecture.
DOI - identifier 10.1007/b96009
Copyright notice Copyright Springer-Verlag Berlin Heidelberg 2004
ISSN 0302-9743
Versions
Version Filter Type
Citation counts: Scopus Citation Count Cited 21 times in Scopus Article | Citations
Altmetric details:
Access Statistics: 112 Abstract Views  -  Detailed Statistics
Created: Wed, 17 Nov 2010, 16:09:00 EST by Catalyst Administrator
© 2014 RMIT Research Repository • Powered by Fez SoftwareContact us