01704100

j

01704100 Kozma, L. R\'acz, \'E. A specification technique for scheduling the methods of concurrent objects. Ann. Univ. Sci. Budap. Rolando E\H{o}tv\H{o}s, Sect. Comput. 17, 253-268 (1998). 1998 E\H otv\H os University, Budapest EN object-oriented programming Summary: Object-oriented programming methodolgy has been rapidly accepted by the experts. The most critical applications can often involve concurrency, but several problems have been identified with the integration of inheritance and concurrency. A lot of methods can be defined on a concurrent object but some operations make sense only when the object is in certain states. Synchronization mechanisms are necessary to delay such requests and these request can be processed when the state of the object makes them safely possible. This paper deals with a similar problem called scheduling when some method of a concurrent object is selected for execution to achieve more effective functioning in some sense. We apply the graphical interval logic, GIL, for specifying scheduling the methods of concurrent objects.