A model to design reusable parallel software components

Bahsoun, Jean Paul; Féraud, Louis

doi:10.1007/3-540-55599-4_92

Cited by 3 publications

(3 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In the absence of any specialized interaction behavior specifications, the put and get events of ml and m2 inherit the universal interaction behavior from class Sa f eBuf. 4 (ml.X.put, k ) @ (m2.X.get, k ) with respect to the reusability of both concurrent class and interaction behavior specifications.…”

Section: Decomposition Of Interaction Behaviormentioning

confidence: 99%

“…PCM [4] identifies two kinds of synchronization expressions of an object: the first, called concurrency constraints, do not depend on the state of the object, whereas the second, called state constraints, do. Concurrency constraints are defined separately in abstract classes, whereas state constraints are defined in classes.…”

Section: Relatedworkmentioning

confidence: 99%

“…The problem of inheritance anomaly has been studied in great detail and many solutions [ 14,24,4,22,21,19,23,18] have been proposed. Most of these solutions support inheritance of method implementations by separating the interface control conditions from method implementations, and by excluding any synchronization operations from the method implementations.…”

Section: Relatedworkmentioning

confidence: 99%

See 2 more Smart Citations

A compositional approach to concurrent object-oriented programming

Pandey

Browne

Proceedings of 1994 IEEE International Conference on Computer Languages (ICCL'94)

View full text Add to dashboard Cite

This paper presents a model of concurrent objectoriented programming in which specification of computational behavior is separated from specification of interaction behavior of methods. I t will be shown that this compositional approach to concurrent programming avoids some of the conceptual dificulties that have plagued the integration of concurrency and object-oriented models of programs. The compositional approach to concurrent object-oriented programming leads to declarative and incremental specification of interaction behavior and thus, to objecdmethod de3nitions that can be readily adapted to different parallel execution environments. The approach supports inheritance of both method and synchronization specifkations. It will be shown that compositional programming avoids the so-called "inheritance anomaly.''

show abstract

Section: Decomposition Of Interaction Behaviormentioning

confidence: 99%

Section: Relatedworkmentioning

confidence: 99%