Title :
Conflict propagation
Author :
Francez, Nissim ; Forman, I.R.
Author_Institution :
Microelectron. & Comput. Technol. Corp., Austin, TX, USA
Abstract :
A study is made of the requirements for abstraction constructs encapsulating multiparty interactions. Several alternatives are explored for the meaning of an abstraction invocation when used in the position of a guard. It is concluded that in order to support a stepwise-refinement design methodology, conflicts must be propagated across invocations to achieve a proper coordination at the abstraction level. The discussion presented is in terms of a language, Interacting Processes (IP), for high-level expression of distributed programs
Keywords :
data structures; distributed processing; high level languages; Interacting Processes; abstraction constructs; conflict propagation; coordination; distributed programs; high-level expression; multiparty interactions; stepwise-refinement design methodology; Books; Command languages; Computer science; Data structures; Design methodology; Encapsulation; Microelectronics;
Conference_Titel :
Computer Languages, 1990., International Conference on
Conference_Location :
New Orleans, LA
Print_ISBN :
0-8186-2036-6
DOI :
10.1109/ICCL.1990.63771
