Etsuya Shibayama. Reuse of Concurrent Object Descriptions. In Concurrency: Theory, Language, and Architecture, LNCS 491, pages 110--135. Springer--Verlag, 1989.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....variables [6] data flow based data dependencies [11] and signal variables [12] We use event ordering constraint expressions to specify both interface control and interactions during executions. 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. Changes in the interaction behavior of a method is ....

Etsuya Shibayama. Reuse of Concurrent Object Descriptions. In Concurrency: Theory, Language, and Architecture, LNCS 491, pages 110--135. Springer--Verlag, 1989.

....aid the construction of parallel application frameworks. Although some number of proposals have been made in this regard, early attempts( 12, 30] were shown to be restrictive in [15] The problem has sparked interest of several concurrent OO researchers who have come out with various solutions [26, 10, 13, 11, 18], especially after circulations of analysis papers such as [23, 15] and the early draft of [16] However, we feel that they were not completely satisfactory with regards to practical applications. Our current proposal is designed with high practicality in mind. It extends and extensively refines ....

....method guards to account for the new synchronization constraint, resulting in state modification anomaly. 3 Our Proposed Solution to Inheritance Anomaly Recently, several researchers have proposed to minimize the effect of inheritance anomaly and promote code re use in concurrent OO languages [26, 10, 13, 24, 11, 18]. Altogether, they have identified to some degree that (1) localization of the changes in the synchronization code, and (2) firstclassing of synchronization schemes (possibly with reflection) are significant in providing the necessary flexibility to minimize code re definitions. However, there are ....

[Article contains additional citation context not shown here]

Etsuya Shibayama. Reuse of concurrent object descriptions. In B. Meyer, J. Potter, M. Tokoro, and J. Bezivin, editors, Proceedings of TOOLS 3, Sydney, pages 254--266, November 1990.

.... where he can forget implementation details and often describe the synchronization constraints in a synthetic manner (see Figure 3, section a buffer with Guide ) But, above all, this kind of control presents the advantage of promoting synchronization reuse ; many works attest this property [17, 20, 10, 22, 11, 16]. However, the debate is far from being closed : a lot of implicit control frameworks (abstractions) exist (path expressions [4] synchronization counters [21, 18] behavior abstractions [15] just to name a few) each 5 one having a different expressive power, and different properties regarding ....

E. Shibayama. Reuse of Concurrent Object Descriptions. In A. Yonesawa and T. Ito. Editors, Concurrency: Theory, Language, and Architecture. Springler Verlag, 1991. LNCS 491.

....with a consistent framework, in which they can forget implementation details and describe the synchronization constraints in a very synthetic manner. Implicit control has also the advantage of promoting synchronization reuse [Matsuoka et al. 1990 , Neusius 1991 , Decouchant et al. 1991 , Shibayama 1991 , Frolund 1992 , Lohr 1992 ] However, many implicit control frameworks (i.e. abstractions for concurrency) exist, including path expressions [Campbell Haberman 1974 ] synchronization counters [Robert Verjus 1977 , McHale et al. 1990 ] behavior abstractions [Kafura Lee 1990 ] and ....

E. Shibayama. Reuse of Concurrent Object Descriptions. In A. Yonesawa and T. Ito, editors, Concurrency: Theory, Language, and Architecture. Springler Verlag, 1991.

....synchronization. It usually provides the programmer with a consistent framework, where he can forget implementation details and often describe the synchronization constraints in a very synthetic and problem adapted manner. But above all, this kind of control promotes synchronization reuse [27, 28, 17, 29, 18, 26]. In Eiffel , implicit control is available by means of user level defined abstractions [11, 2] Apart from deriving his processes directly from process and programming explicitly the control, a user can derive his classes from these more general abstract frameworks. They are derived from the ....

E. Shibayama. Reuse of Concurrent Object Descriptions. In A. Yonezawa and T. Ito, editors, Concurrency: Theory, Language, and Architecture. Springler Verlag, 1991.

....We will briefly review them as well as provide our own proposals. 5.1 Shibayama s Proposal Shibayaba proposes a scheme based on fine grained inheritance of synchronization schemes, so that the amount of code that must be re defined can be minimized. In the proposed extension of ABCL 1 [33] to incorporate inheritance, methods are categorized into primary, constraint, and transition methods. A method of one category may have its counterparts with identical keys in other categories, and each of them can be separately defined inherited overridden. The categorization of methods are as ....

....unaffected) ffl A transition method determines how the messages are delegated. Its re definition allows dynamic modification of the delegation path. By separating the synchronization code from other parts of method definitions, the amount of re definitions is minimized. Shibayama also shows in [33] that history only sensitivity can also be handled with a modest amount of code re definitions in the concurrent implementation of a 2 3 tree. 5.2 Meseguer s Proposal Meseguer proposes a new formalism[27] for modeling concurrent systems, and an OOCP language called Maude, which is based on this ....

Etsuya Shibayama. Reuse of concurrent object descriptions. In B. Meyer, J. Potter, M. Tokoro, and J. Bezivin, editors, Proceedings of TOOLS 3, Sydney, pages 254--266, November 1990.

....aid the construction of parallel application frameworks. Although some number of proposals have been made in this regard, early attempts( 56, 109] were shown to be restrictive in [69] The problem has sparked interest of several concurrent OO researchers who have come out with various solutions [98, 25, 63, 53, 78], especially after circulations of analysis papers such as [91, 69] and the early draft of [72] However, we feel that they were not completely satisfactory with regards to practical applications. We propose new language constructs for concurrent OO languages that solves the anomalies as well as ....

....advantages as well as their limitations. 5.1 Shibayama s Proposal Shibayaba first proposed a scheme based on fine grained inheritance of synchronization schemes , so that the amount of code that must be re defined can be minimized. In the proposed extension of ABCL 1 to incorporate inheritance[98] , methods are categorized into primary, constraint, and transition methods. A method of one category may have its counterparts with identical method names in other categories, and each of them can be separately defined inherited overridden. The categorization of methods is as follows: ffl A ....

[Article contains additional citation context not shown here]

Etsuya Shibayama. Reuse of concurrent object descriptions. In B. Meyer, J. Potter, M. Tokoro, and J. Bezivin, editors, Proceedings of TOOLS 3, Sydney, pages 254-- 266, November 1990.

....body) in a superclass may be bound to a different behavior in subclasses. Therefore, the synchronization constraints associated with that name may need to change in subclasses. Integration of inheritance and synchronization constraints has been investigated in a number of recent papers [13] 4] [16] [12] However, all of these proposals are insufficient since they do not support incremental modification of synchronization constraints. In all of the proposals, synchronization constraints are specified as activation conditions: a boolean expression associated with each method. The expression ....

E. Shibayama. Reuse of Concurrent Object Descriptions. In A. Yonezawa and T. Ito, editors, Concurrency: Theory, Language, and Architecture. Springer Verlag, 1991. LNCS 491.

No context found.

Etsuya Shibayama. Reuse of Concurrent Object Descriptions. In Concurrency: Theory, Language, and Architecture, LNCS 491, pages 110--135. Springer--Verlag, 1989.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC