Computing and Information Systems - Research Publications
Permanent URI for this collection
Search Results
1 - 4 of 4
-
ItemApplying formal methods to standard development: the open distributed processing experience(Elsevier, 1995)Since their introduction, formal methods have been applied in various ways to different standards. This paper gives an account of these applications, focusing on one application in particular: the development of a framework for creating standards for Open Distributed Processing (ODP). Following an introduction to ODP, the paper gives an insight into the current work on formalising the architecture of the Reference Model of ODP (RM-ODP), highlighting the advantages to be gained. The different approaches currently being taken are shown, together with their associated advantages and disadvantages. The paper concludes that there is no one all-purpose approach which can be used in preference to all others, but that a combination of approaches is desirable to best fulfil the potential of formal methods in developing an architectural semantics for ODP.
-
Item
-
ItemFrameworks: the future of formal software development?(Elsevier Science, 1998)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.
-
ItemExperiences of modelling and using object-oriented telecommunication service frameworks in SDL(Elsevier, 1999)This paper describes experiences in using SDL and its associated tools to create telecommunication services by producing and specialising object-oriented frameworks. The chosen approach recognises the need for the rapid creation of validated telecommunication services. It introduces two stages to service creation; firstly a software expert produces a service framework, and secondly a telecommunications ‘business consultant’ who specialises the framework by means of graphical tolls to rapidly produce services. Here we focus on the underlying technology required. In particular we highlight the advantages of SDL and tools as well as issues and problems incurred.