Sciweavers

SDL
2001
73views Hardware» more  SDL 2001»
14 years 8 days ago
HyperMSCs with Connectors for Advanced Visual System Modelling and Testing
Experiences with the use of the MSC language for complex system specifications have shown that certain extensions are necessary in order to arrive at sufficiently transparent and m...
Jens Grabowski, Peter Graubmann, Ekkart Rudolph
SDL
2001
125views Hardware» more  SDL 2001»
14 years 8 days ago
Verification of Quantitative Temporal Properties of SDL Specifications
Abstract. We describe an approach for the verification of quantitative temporal properties of SDL specifications, which adapts techniques developed for timed automata [2]. With res...
Iulian Ober, Alain Kerbrat
SDL
2001
110views Hardware» more  SDL 2001»
14 years 8 days ago
Timed Extensions for SDL
In this paper we propose some extensions necessary to enable the speci cation and description language SDL to become an appropriate formalism for the design of real-time and embedd...
Marius Bozga, Susanne Graf, Laurent Mounier, Iulia...
SDL
2001
78views Hardware» more  SDL 2001»
14 years 8 days ago
Using Message Sequence Charts to Accelerate Maintenance of Existing Systems
In this paper we describe our experiences in building tools for accelerating maintenance of existing large telecommunications software. We discuss how various maintenance activitie...
Nikolai Mansurov, Djenana Campara
SDL
2001
101views Hardware» more  SDL 2001»
14 years 8 days ago
Graphical Test Specification - The Graphical Format of TTCN-3
Paul Baker, Ekkart Rudolph, Ina Schieferdecker
SDL
2001
94views Hardware» more  SDL 2001»
14 years 8 days ago
An MSC Based Representation of DiCons
Abstract. We present a graphical MSC-based representation of the language DiCons, which is a formal language for the description of Internet applications.
Jos C. M. Baeten, Harm M. A. van Beek, Sjouke Mauw
SDL
2001
89views Hardware» more  SDL 2001»
14 years 8 days ago
Some Implications of MSC, SDL and TTCN Time Extensions for Computer-Aided Test Generation
The purpose of this paper is to describe how computer-aided test generation methods can benefit from the time features and extensions to MSC, SDL and TTCN which are either already ...
Dieter Hogrefe, Beat Koch, Helmut Neukirchen