Formalizing Reusable Communication Models for Distributed Systems Architecture-Reference-Cited by-同舟云学术

Formalizing Reusable Communication Models for Distributed Systems Architecture

Published:2018 Issue: Volume: Page:198-216
ISSN:0302-9743
Container-title:Model and Data Engineering
language:
Short-container-title:

Author:

Rouland Quentin,Hamid Brahim,Jaskolka Jason

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-00856-7_13

Reference26 articles.

1. Alloy Analyzer. http://alloy.mit.edu. Accessed June 2017

2. Allen, R., Garlan, D.: A formal basis for architectural connection. ACM Trans. Softw. Eng. Methodol. 6(3), 213–249 (1997)

3. Coulouris, G., Dollimore, J., Kindberg, T., Blair, G.: Distributed Systems: Concepts and Design, 5th edn. Addison-Wesley Publishing Company, Boston (2011)

4. Crnkovic, I.: Component-based software engineering for embedded systems. In: Proceedings of the 27th International Conference on Software Engineering, ICSE 2005, pp. 712–713. ACM (2005)

5. Lecture Notes in Computer Science;D Garlan,2003

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

1. Specification and Verification of Communication Paradigms for CBSE in Event B;2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS);2023-06-14

2. A Formal Algebraic Approach for the Quantitative Modeling of Connectors in Architectures;Algebraic Informatics;2022

3. Formal specification and verification of reusable communication models for distributed systems architecture;Future Generation Computer Systems;2020-07

4. Recommendations for Effective Security Assurance of Software-Dependent Systems;Advances in Intelligent Systems and Computing;2020