Reusing LOTOS specifications

Citation
A. Santone et G. Vaglini, Reusing LOTOS specifications, MICROPR MIC, 25(6), 2001, pp. 309-314
Citations number
20
Categorie Soggetti
Computer Science & Engineering
Journal title
MICROPROCESSORS AND MICROSYSTEMS
ISSN journal
01419331 → ACNP
Volume
25
Issue
6
Year of publication
2001
Pages
309 - 314
Database
ISI
SICI code
0141-9331(20010910)25:6<309:RLS>2.0.ZU;2-6
Abstract
Reuse is the process of implementing software systems using existing compon ents. The use of formal specifications of software components produces a go od characterization of their functionalities and then eases the re-usabilit y of a module. Moreover, reuse efforts should be directed to most of the so ftware life-cycle phases and not only to the final code of a project, which in general consumes only 10-15% of the time and the cost of the entire pro ject. This work presents a tool supporting a method to derive the modificat ions of the specification of an existing module from a characterization of the environment in which the new module has to be used. The tool is integra ted with the Concurrency Workbench of North Carolina, which is a well-known verification environment for process algebras. (C) 2001 Elsevier Science B .V. All rights reserved.