Enlighten
Research publications by members of the University of Glasgow
home > services > Enlighten

Frameworks: the future of formal software development?

Sinnott, R.O. (1998) Frameworks: the future of formal software development? Computer Standards and Interfaces , 19 (7). pp. 375-385. ISSN 0920-5489 (doi:10.1016/S0920-5489(98)00024-5)

[img] Text
7207.pdf

107Kb

Publisher's URL: http://dx.doi.org/10.1016/S0920-5489(98)00024-5

Abstract

It could be argued that the primary issue to be dealt with in software engineering today is re-use of software. Current software development rarely, if ever, starts from nothing. Unfortunately, the same cannot be said for the development of specifications. To overcome this problem, various works have attempted to show how specifications can be built using architectural principles. We discuss one such approach in particular, the Architectural Semantics of Open Distributed Processing. We show the limitations of this work with regard to the architecting of specifications and propose a new approach, based on frameworks. To highlight the approach we use the work currently being done in the TOSCA project in its development of a service creation and validation environment for telecommunication services.

Item Type:Article
Keywords:Formality, frameworks, open distributed systems, SDL
Status:Published
Refereed:Yes
Glasgow Author(s) Enlighten ID:Sinnott, Prof Richard
Authors: Sinnott, R.O.
Subjects:Q Science > QA Mathematics > QA75 Electronic computers. Computer science
College/School:University Services > IT Services > Computing Service
Journal Name:Computer Standards and Interfaces
Publisher:Elsevier
ISSN:0920-5489
Copyright Holders:Copyright © 1998 Elsevier
First Published:First published in Computer Standards & Interfaces 19(7):375-385
Publisher Policy:Reproduced in accordance with the copyright policy of the publisher.

University Staff: Request a correction | Enlighten Editors: Update this record

Downloads per month over past year

View more statistics