Personne
Anastasia Mavridou
Cette personne n’est plus à l’EPFL
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
Publications associées (12)
Veuillez noter qu'il ne s'agit pas d'une liste complète des publications de cette personne. Elle inclut uniquement les travaux sémantiquement pertinents. Pour une liste complète, veuillez consulter Infoscience.
Coordination of Dynamic Software Components with JavaBIP
Simon Bliudze, Anastasia Mavridou
JavaBIP allows the coordination of software components by clearly separating the functional and coordination aspects of the system behavior. JavaBIP implements the principles of the BIP component framework rooted in rigorous operational semantics. Recent w ...
Springer International Publishing2017Configuration logics: Modeling architecture styles
Joseph Sifakis, Simon Bliudze, Anastasia Mavridou, Eduard Baranov
We study a framework for the specification of architecture styles as families of architectures involving a common set of types of components and coordination mechanisms. The framework combines two logics: 1) interaction logics for the specification of arch ...
Elsevier Science Inc2017Exogenous Coordination of Concurrent Software Components with JavaBIP
Simon Bliudze, Anastasia Mavridou, Radoslaw Szymanek, Alina Zolotukhina
A strong separation of concerns is necessary in order to make the design of domain-specific functional components independent from cross-cutting concerns, such as concurrent access to the shared resources of the execution platform. Native coordination mech ...
Wiley-Blackwell2017