00000cab a22000003a 4500 UP-99796217608823622 Buklod 20231007234842.0 m |o d | ta 090511s xx d | ||r ||||| || DENGII eng Ciobanu, Gabriel A specification language for coordinated objects. pp. 27 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 expressed as temporal formulas, and verified by specific model-checking algorithms. We use the alternating bit protocol to exemplify our specification language and its semantics.This approach allows a clear separation of concerns: the same coordinating process can be used with different concurrent objects, and the same objects can be used with a different coordinator. Thus our specification language allows easy modifications and customization. The method is effective in assembling increasingly complex systems from components. Moreover, composing different coordinating processes can be done without changing the code of the coordinated objects. In this way, the difficult task of implementing the mechanism of coordination becomes substantially easier. 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. Software engineering notes. 31, 2 (2006). FO UPD DENG-II Article