Výsledky vyhledávání - "COMPONENT CONNECTORS"

Off-the-Shelf Connectors for Interdisciplinary Components

Autor: Anil Cetinkaya, M. Cagri Kaya, Ali H. Dogru

Publikováno v: Journal of Integrated Design and Process Science. 22:35-53

Introduction: Solutions based on software components, especially for heterogeneous constituents such as those pertaining to different disciplines suffer the interoperability burden. Adaptor technologies have been introduced before, as a potential rem

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b4e0a3bac0333e3e4cc7942e22c09a33
https://doi.org/10.3233/jid190003

Zobrazit plný text záznamu

Centralized coordination vs. partially-distributed coordination with Reo and constraint automata

Autor: Sung-Shik T. Q. Jongmans, Farhad Arbab

Publikováno v: Science of Computer Programming, 160, 48-77. ELSEVIER SCIENCE BV
Science of Computer Programming, 160, pp. 48-77
Science of Computer Programming, 160, 48-77
Jongmans, S-STQ & Arbab 2018, ' Centralized coordination vs. partially-distributed coordination with Reo and constraint automata ', Science of Computer Programming, vol. 160, pp. 48-77 . https://doi.org/10.1016/j.scico.2017.06.004

High-level concurrency notations and abstractions have several well-known software engineering advantages when it comes to programming concurrency protocols among threads. To also explore their complementary performance advantages, in ongoing work, w

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::efe6b9e84c3111fc8bd0b01c5cc4c8c4
https://hdl.handle.net/1820/d7f1f16a-0e4c-477b-bac3-0688667ea310

Zobrazit plný text záznamu

Channel-based coordination via constraint satisfaction

Autor: José Proença, Farhad Arbab, Dave Clarke, Alexander Lazovik

Publikováno v: Science of computer programming, 76(8), 681-710. ELSEVIER SCIENCE BV

Coordination in Reo emerges from the composition of the behavioural constraints of primitives, such as channels, in a component connector. Understanding and implementing Reo, however, has been challenging due to interaction of the channel metaphor, w

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ceec283d43cd1aae1d8964ac2e2385c2
https://doi.org/10.1016/j.scico.2010.05.004

Zobrazit plný text záznamu

Model checking of component connectors

Autor: Izadi, M.

Publikováno v: IPA Dissertation Series

We present a framework for automata theoretic model checking of coordination systems specified in Reo coordination language. To this goal, we introduce Buchi automata of records (BAR) and their augmented version (ABAR) as an operational modeling form

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::412dcd76520d90c24365314fdaad71cf
https://hdl.handle.net/1887/18189

Zobrazit plný text záznamu

Reconfigurable component connectors

Autor: Krause, Christian

Publikováno v: IPA Dissertation Series

This thesis provides formal methods for reconfigurable component connectors.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2c42358a726dbe540a37ccecdcefdca9
https://hdl.handle.net/1887/17718

Zobrazit plný text záznamu

A basic logic for reasoning about connector reconfiguration

Autor: Clarke, Dave

Software systems evolve over time. From a component-based software engineering perspective, this means that either the components of the system need to change, or, if components are connected using a coordination layer, then the way in which they are

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______1131::85a8b37ad808d8ac888082004cfe8d5a
http://gateway.isiknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=Proceedings&SrcApp=PRODUCT_NAME&SrcURL=WOS_RETURN_URL&CKEY=CLAR0361080082FD&DestLinkType=FullRecord&DestApp=ISTP&SrcDesc=RETURN_ALT_TEXT&SrcAppSID=APP_SID

Zobrazit plný text záznamu

Reasoning about connector reconfiguration II: basic reconfiguration logic

Software systems evolve over time. To facilitate this, the coordination language Reo offers operations to dynamically reconfigure the topology of component connectors. We present a semantics of Reo in the presence of reconfiguration, and a logic, and

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dris___00893::0adb0ae6f316c083b9ab3d637ae5427d
https://ir.cwi.nl/pub/14659

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání