论文信息 - Mixing LOTOS and SDL Specifications

Mixing LOTOS and SDL Specifications

This paper describes an approach to intermix specifications written in the CCITT specification language SDL with specifications expressed in the ISO specification language LOTOS. First, we introduce a model of the inter-communication. This model is based on asynchronous communication between the LOTOS and SDL specifications. After that we present a formal language that allows us to express the transformation of SDL signals to LOTOS events and vice versa. The transformation rules are flexible enough to handle SDL concepts like process IDs and channels for which no direct counterpart in LOTOS exists. This mixing scheme is currently implemented in conjunction with a common run-time environment for SDL and LOTOS.

Carl Binding | Heinrich Nirschl | Heinz Saria

[1] D. Knuth,et al. Simple Word Problems in Universal Algebras , 1983 .

[2] Jan A. Bergstra,et al. Process Algebra for Synchronous Communication , 1984, Inf. Control..

[3] Toru Hasegawa,et al. A LOTOS compiler and process synchronization manager , 1990, PSTV.

[4] Hubert Garavel,et al. Compilation of LOTOS Abstract Data Types , 1989, FORTE.

[5] Roberto Saracco,et al. CCITT SDL: Overview of the Language and its Applications , 1987, Comput. Networks.

[6] Jeroen Bruijning. Evaluation and Integration of Specification Languages , 1987, Comput. Networks.

[7] Luc Duponcheel,et al. An algebraic data type specification language and its rapid prototyping environment , 1989, ICSE '89.

[8] Tommaso Bolognesi,et al. Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling , 1994, FORTE.