A specification language for coordinated objects.

The paper presents a specification language of autonomous objects supervised by a coordinating process. The coordination is defined by means of an interaction wrapper. The coordination semantics is described in the terms of bisimulation relations. The properties of the coordinated objects are expres...

وصف كامل

التفاصيل البيبلوغرافية
الحاوية / القاعدة:	Software engineering notes. 31, 2 (2006).
المؤلف الرئيسي:	Ciobanu, Gabriel
التنسيق:	مقال
اللغة:	English
الموضوعات:	Software. Software Engineering. Requirements / Specifications. Languages. Interoperability. Distributed objects. Interface definition languages. Programming languages. Language constructs and features. Theory of Computation. Logics and meanings of programs. Semantics of programming languages. Algebraic approaches to semantics. Performance. Theory. Bisimulation. Classes. Coordination. Objects. Process algebra. Temporal logic.