Application-Layer Connector Synthesis-Reference-Cited by-同舟云学术

Application-Layer Connector Synthesis

Published:2011 Issue: Volume: Page:148-190
ISSN:0302-9743
Container-title:Formal Methods for Eternal Networked Software Systems
language:
Short-container-title:

Author:

Inverardi Paola,Spalazzese Romina,Tivoli Massimo

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-21455-4_5

Reference88 articles.

1. CONNECT consortium. CONNECT Deliverable D1.1: Initial Connect Architecture. FET IP CONNECT EU project, FP7 grant agreement number 231167, http://www.connect-forever.eu/

2. CONNECT consortium. CONNECT Deliverable D1.2: Intermediate Connect Architecture. FET IP CONNECT EU project, FP7 grant agreement number 231167, http://www.connect-forever.eu/

3. CONNECT consortium. CONNECT Deliverable D3.2: Reasoning about and Harmonizing the Interaction Behavior of Networked Systems at Application- and Middleware- Layer. FET IP CONNECT EU project, FP7 grant agreement number 231167, http://www.connect-forever.eu/

4. ITU Telecommunication Standardisation sector, ITU-T reccomendation Z.120. Message Sequence Charts (MSC 1996), Geneva (1996)

5. International Series in Computer Science;A. Arnold,1989

Cited by 14 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. INTERO: An Interoperability Model for Large Systems;IEEE Software;2020-05

2. Off-the-Shelf Connectors for Interdisciplinary Components;Journal of Integrated Design and Process Science;2019-11-22

3. Synthesis and Verification of Self-aware Computing Systems;Self-Aware Computing Systems;2017

4. Achieving functional and non functional interoperability through synthesized connectors;Journal of Systems and Software;2016-01

5. Model-driven interoperability: engineering heterogeneous IoT systems;Annals of Telecommunications;2015-11-25