TY  - JOUR
AU  - SINNOTT, RICHARD
Y2  - 2014/05/21
Y1  - 1998
UR  - http://hdl.handle.net/11343/28823
AB  - 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.
LA  - eng
PB  - Elsevier Science
KW  - formality
KW  - frameworks
KW  - open distributed systems
KW  - SDL
T1  - Frameworks: the future of formal software development?
IS  - Computer Standards & Interfaces
VL  - 19
IS  - 7
SP  - 375-385
L1  - /bitstream/handle/11343/28823/264098_sinnott_frameworks.pdf?sequence=1&isAllowed=y
ER  -