Istituto di Scienza e Tecnologie dell'Informazione     
Bolognesi T. On the Soundness of Graphical Representations of Interconnected Processes in LOTOS. In: Proceedings of the ACM SIGSOFT International Workshop on Formal Methods in Software Developmen (1990). Proceedings, vol. 15 pp. 1 - 7. M. Moriconi (ed.). (ACM Software Engineering Notes). ACM PRESS, 1990.
The graphical representation of the parallel compositionof several LOTOS processes as a network of interconnected boxes is ambiguous, due to the nature of the LOTOS binary parallel operator. However, under suitable and sufficiently general conditions, such graphical representation is sound; a method for deriving from these graphs a family of strongly equivalent LOTOS expressions that describe the intcndcd process composition is introduced and proved correct. The method can be used for transforming the structure of parallel LOTOS expressions, and is a gcncralization of previously known algebraic transformation laws.
URL: http://dl.acm.org/citation.cfm?id=99569.99574&coll=DL&dl=ACM&CFID=119835575&CFTOKEN=17239365
DOI: 10.1145/99569.99574

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional