DocumentCode
2458017
Title
Conflict propagation
Author
Francez, Nissim ; Forman, I.R.
Author_Institution
Microelectron. & Comput. Technol. Corp., Austin, TX, USA
fYear
1990
fDate
12-15 Mar 1990
Firstpage
155
Lastpage
168
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Languages, 1990., International Conference on
Conference_Location
New Orleans, LA
Print_ISBN
0-8186-2036-6
Type
conf
DOI
10.1109/ICCL.1990.63771
Filename
63771
Link To Document