Non-functional refinement of computer based systems architecture

Denford, M; Leaney, J; O'Neill, T

Non-functional refinement of computer based systems architecture

Denford, M Leaney, J

O'Neill, T

Permalink

Publication Type:: Conference Proceeding
Citation:: Proceedings - 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2004, 2004, pp. 168 - 177
Issue Date:: 2004-11-17

Closed Access

	Filename	Description	Size
	2004001684.pdf		227.23 kB	Adobe PDF	View/Open

Copyright Clearance Process

Recently Added
In Progress
Closed Access

This item is closed access and not available.

Full metadata record

Field	Value	Language
dc.contributor.author	Denford, M	en_US
dc.contributor.author	Leaney, J https://orcid.org/0000-0001-5009-0401	en_US
dc.contributor.author	O'Neill, T	en_US
dc.date.issued	2004-11-17	en_US
dc.identifier.citation	Proceedings - 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2004, 2004, pp. 168 - 177	en_US
dc.identifier.isbn	0769521258	en_US
dc.identifier.isbn	9780769521251	en_US
dc.identifier.uri	http://hdl.handle.net/10453/2497
dc.description.abstract	Architecture based refinement is an important technique for ensuring efficiency, effectiveness and correctness in the practical design of complex computer based systems. With a few exceptions, current methods of architectural refinement focus on functional behaviour and fail to address non-functional requirements throughout the refinement process. A best practices approach to refinement would address both functional and non-functional requirements such that the refinement of an abstract into a concrete (implementation) architecture ensures that both sets of requirements are met. We propose a method that focuses on the non-functional requirements while still addressing the functional requirements throughout refinement. The method has a formal underpinning in abstract data types (based on term rewriting) which are used to represent the architectures throughout the refinement process and to place pre and post conditions on the refinements. In addition to this, the method uses non-functional requirement calculators to check the non-functional qualities of the architecture as refinement proceeds. Reflection on the practice of the method suggests that it may be possible to extend the architectural style idea to provide reusable refinement schema for the design of certain non-functional qualities into architectural patterns. The example considers reliability and performance in the refinement of a client server architectural pattern. The method does not aim to replace or fully automate the work of the designer. It aims to augment the design process and aid the designer in performing their tasks. It seeks to provide certain guidance for the designer that will help them make the right design decisions, and correct certain classes of errors.	en_US
dc.relation.ispartof	Proceedings - 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2004	en_US
dc.relation.isbasedon	10.1109/ECBS.2004.1316696	en_US
dc.title	Non-functional refinement of computer based systems architecture	en_US
dc.type	Conference Proceeding
utslib.for	0805 Distributed Computing	en_US
utslib.for	0803 Computer Software	en_US
dc.location.activity	Brno, Czech Republic	en_US
pubs.embargo.period	Not known	en_US
pubs.organisational-group	/University of Technology Sydney
pubs.organisational-group	/University of Technology Sydney/Faculty of Engineering and Information Technology
pubs.organisational-group	/University of Technology Sydney/Faculty of Engineering and Information Technology/School of Computer Science
pubs.organisational-group	/University of Technology Sydney/Strength - HCTD - Human Centred Technology Design
utslib.copyright.status	closed_access
pubs.publication-status	Published	en_US

Abstract:

Architecture based refinement is an important technique for ensuring efficiency, effectiveness and correctness in the practical design of complex computer based systems. With a few exceptions, current methods of architectural refinement focus on functional behaviour and fail to address non-functional requirements throughout the refinement process. A best practices approach to refinement would address both functional and non-functional requirements such that the refinement of an abstract into a concrete (implementation) architecture ensures that both sets of requirements are met. We propose a method that focuses on the non-functional requirements while still addressing the functional requirements throughout refinement. The method has a formal underpinning in abstract data types (based on term rewriting) which are used to represent the architectures throughout the refinement process and to place pre and post conditions on the refinements. In addition to this, the method uses non-functional requirement calculators to check the non-functional qualities of the architecture as refinement proceeds. Reflection on the practice of the method suggests that it may be possible to extend the architectural style idea to provide reusable refinement schema for the design of certain non-functional qualities into architectural patterns. The example considers reliability and performance in the refinement of a client server architectural pattern. The method does not aim to replace or fully automate the work of the designer. It aims to augment the design process and aid the designer in performing their tasks. It seeks to provide certain guidance for the designer that will help them make the right design decisions, and correct certain classes of errors.

Please use this identifier to cite or link to this item:

http://hdl.handle.net/10453/2497