Computing and Information Systems - Research Publications

Permanent URI for this collection

http://hdl.handle.net/11343/350

Filters

1999 7
7
Reset filters

Settings
Statistics
Citations
End date: 1999 × Start date: 1999 ×

Search Results

Now showing 1 - 7 of 7
  • Item
    Thumbnail Image
    Engineering telecommunication services with SDL
    SINNOTT, RICHARD ; Kolberg, Mario (Kluwer Academic, 1999)
    If formal techniques are to be more widely accepted then they should evolve as current software engineering approaches evolve. Current techniques in the development of distributed systems use interface definition languages (IDLs) as a basis for the underlying communication and also as an abstraction tool. Object-oriented technologies and the idea of engineering software through frameworks are also widely accepted approaches in developing software. In this paper we show how the formal specification language SDL and associated tool support have been applied in the TOSCA project to engineer telecommunication services using these current techniques.
  • Item
    Thumbnail Image
    The pros and cons of using SDL for creation of distributed services
    Olsen, Anders ; Demany, Didier ; Cardoso, Elsa ; Lodge, Fiona ; Kolberg, Mario ; Bjorkander, Morgan ; SINNOTT, RICHARD (Springer, 1999)
    In a competitive market for the creation of complex distributed services, time to market, development cost, maintenance and flexibility are key issues. Optimizing the development process is very much a matter of optimizing the technologies used during service creation. This paper reports on the experience gained in the Service Creation projects SCREEN and TOSCA on use of the language SDL for efficient service creation.
  • Item
    Thumbnail Image
    Experiences of modelling and using object-oriented telecommunication service frameworks in SDL
    Kolberg, Mario ; Sinnott, Richard O. ; Magill, Evan H. (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.
  • Item
    Thumbnail Image
    Creating telecommunication services based on object-oriented frameworks and SDL
    SINNOTT, RICHARD ; Kolberg, Mario (IEEE Computer Society, 1999)
    This paper describes the tools and techniques being applied in the TINA Open Service Creation Architecture (TOSCA) project to develop object-oriented models of distributed telecommunication services in SDL. The paper also describes the way in which Tree and Tabular Combined Notation (TTCN) test cases are derived from these models and subsequently executed against the CORBA-based implementations of these services through a TTCN/CORBA gateway.
  • Item
    Thumbnail Image
    Specifying multimedia configurations in Z
    Sinnott, Richard O. (IEEE Computer Society, 1999)
    In this paper we illustrate how the formal specification language Z can be used to reason about the temporal and throughput constraints associated with multimedia flows of information. In particular we show how it is possible to specify issues related to maximum delays, throughputs and jitter of information flows and how control of these flows can be achieved. What makes out work particularly interesting is that we deal with temporal aspects of systems without the use of a temporal logic. Rather, we highlight the versatility of the Z language in modelling systems with real time constraints.
  • Item
    Thumbnail Image
    Specifying aspects of multimedia in LOTOS
    SINNOTT, RICHARD (IEEE Computer Society, 1999)
    The formal specification language LOTOS provides a model of systems where the temporal ordering of actions is specified. LOTOS typically does not deal with the specific times at when actions can occur. Most approaches for specifying real time systems in LOTOS have either extended the language, e.g. with timing aspects, or used the language in conjunction with a temporal logic. We argue that such approaches are not always necessary and that LOTOS is much more flexible than sometimes claimed. To support our arguments we show how LOTOS can be used to specify a multitude of timing issues that can be associated with the production and consumption of multimedia flows.
  • Item
    Thumbnail Image
    Engineering of interworking TINA-based telecommunication services
    Kolberg, Mario ; Sinnott, Richard O. ; Magill, Evan H. (IEEE Computer Society, 1999)
    This paper describes a Service Creation approach being developed in the EU funded ACTS TOSCA (TINA Open Service Creation Architecture) project to rapidly develop validated TINA based multimedia telecommunications services. The approach is based around object-oriented software frameworks in SDL which are specialized towards services by means of graphical paradigm tools. Further, in TOSCA, the need for service interworking across service provider domains via federation has been recognized in order to allow users to join service sessions offered by providers they are not customers of. However, service interworking may cause undesired behavior - the so called service interaction phenomenon. This paper focuses on this issue and the underlying technology of the service creation approach with emphasis on how service federation has been implemented.