A dynamic extension for the specifications of distributed systems

Author

Hamid, Issam A. ; Khendek, Ferhat ; Bochmann, Gregor V.

Author_Institution

Dept. of Inf. Design, Tohoku Univ. of Art & Design, Yamagata, Japan

fYear

1996

Firstpage

256

Lastpage

267

Abstract

Describes an approach for extending distributed system specifications. These specifications are structured as a parallel composition of subsystem specifications. The approach consists of building a new specification S_new by adding a new behavior described by a specification S_added to a specification S_old with preservation of the properties of S_old and S_added as well as the structure of S_old. S_new has all the properties of S_old and S_added if S_new can perform whatever S_old (and S_added) can perform and if it does not block where S_old (or S_added) does not block. We apply our approach to extending the functionality of a basic automatic teller machine

Keywords

automatic teller machines; distributed processing; financial data processing; formal specification; additional behaviour; automatic teller machine; blocking; distributed system specifications; dynamic extension; extended functionality; parallel composition; properties preservation; subsystem specifications; Art; Buildings; Context; Merging; Production; Protocols; Refining; Telephony; Waste materials;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Engineering Conference, 1996. Proceedings., 1996 Asia-Pacific

Conference_Location

Seoul

Print_ISBN

0-8186-7638-8

Type

conf

DOI

10.1109/APSEC.1996.566760

Filename

566760