BIP Grammar
http://www-verimag.imag.fr/TOOLS/DCS/bip/doc/latest/html/Bip2-simplified.html
Accessed: 2018-05-20
Ananda Basu
Saddek Bensalem
Marius Bozga
Jacques Combaz
Mohamad Jaber
Thanh-Hung Nguyen
Joseph Sifakis
2011
Rigorous Component-Based System Design Using the BIP Framework
Software, IEEE
28
3
41–48
10.1109/MS.2011.27
Marco Beccani
Hakan Tunc
Addisu Taddese
Ekawahyu Susilo
Péter Völgyesi
Akos Lédeczi
Pietro Valdastri
2015
Systematic design of medical capsule robots
IEEE Design & Test
32
5
98–108
10.1109/MDAT.2015.2459591
Donald Bell
2003
UML basics: An introduction to the Unified Modeling Language
The Rational Edge
Saddek Bensalem
Marius Bozga
Thanh-Hung Nguyen
Joseph Sifakis
2009
D-Finder: A Tool for Compositional Deadlock Detection and Verification
Ahmed Bouajjani
Oded Maler
Computer Aided Verification
Springer Berlin Heidelberg
Berlin, Heidelberg
614–619
10.1007/11817963_11
Sami Beydeda
Matthias Book
Volker Gruhn
2005
Model-driven software development
Vol. 15
Springer
10.1007/3-540-28554-7
Simon Bliudze
Alessandro Cimatti
Mohamad Jaber
Sergio Mover
Marco Roveri
Wajeb Saab
Qiang Wang
2015
Formal Verification of Infinite-State BIP Models
Bernd Finkbeiner
Geguang Pu
Lijun Zhang
Automated Technology for Verification and Analysis
Springer International Publishing
Cham
326–343
10.1007/978-3-319-24953-7_25
Simon Bliudze
Anastasia Mavridou
Radoslaw Szymanek
Alina Zolotukhina
2017
Exogenous coordination of concurrent software components with JavaBIP
Software: Practice and Experience
10.1002/spe.2495
Simon Bliudze
Joseph Sifakis
2007
The Algebra of Connectors — Structuring Interaction in BIP
Proc. of the EMSOFT'07
ACM SigBED
11–20
10.1145/1289927.1289935
Simon Bliudze
Joseph Sifakis
2010
Causal semantics for the algebra of connectors
Formal Methods in System Design
36
2
167–194
10.1007/s10703-010-0091-z
Marius Bozga
Mohamad Jaber
Nikolaos Maris
Joseph Sifakis
2012
Modeling Dynamic Architectures Using Dy-BIP
Thomas Gschwind
Flavio Paoli
Volker Gruhn
Matthias Book
Software Composition
Lecture Notes in Computer Science
7306
Springer Berlin Heidelberg
1–16
10.1007/978-3-642-30564-1_1
Paul Clements
David Garlan
Len Bass
Judith Stafford
Robert Nord
James Ivers
Reed Little
2002
Documenting software architectures: views and beyond
Pearson Education
Robert Daigneau
2011
Service design patterns: Fundamental design solutions for SOAP/WSDL and restful Web Services
Addison-Wesley
Romain Edelmann
Simon Bliudze
Joseph Sifakis
2017
Functional BIP: Embedding connectors in functional programming languages
Journal of Logical and Algebraic Methods in Programming
92
19 – 44
10.1016/j.jlamp.2017.06.003
http://www.sciencedirect.com/science/article/pii/S235222081630178X
David Harel
Bernhard Rumpe
2004
Meaningful modeling: what's the semantics of ``semantics"?
Computer
37
10
64–72
10.1109/MC.2004.172
George T Heineman
William T Councill
2001
Component-based software engineering
Springer
Gregor Hohpe
Bobby Woolf
2003
Enterprise integration patterns: designing, building, and deploying messaging solutions
Addison-Wesley Longman Publishing Co., Inc.
Boston, MA, USA
James Ivers
Paul Clements
David Garlan
Robert Nord
Bradley Schmerl
Jaime R Silva
2004
Documenting component and connector views with UML 2.0
Technical Report
DTIC Document
P. S. Kumar
W. Emfinger
A. Kulkarni
G. Karsai
D. Watkins
B. Gasser
C. Ridgewell
A. Anilkumar
2015
ROSMOD: a toolsuite for modeling, generating, deploying, and managing distributed real-time component-based software using ROS
2015 International Symposium on Rapid System Prototyping (RSP)
39–45
10.1109/RSP.2015.7416545
I. Malavolta
P. Lago
H. Muccini
P. Pelliccione
A. Tang
2013
What Industry Needs from Architectural Languages: A Survey
IEEE Transactions on Software Engineering
39
6
869–891
10.1109/TSE.2012.74
Miklós Maróti
Tamás Kecskés
Róbert Kereskényi
Brian Broll
Péter Völgyesi
László Jurácz
Tihamer Levendovszky
Ákos Lédeczi
2014
Next Generation (Meta) Modeling: Web-and Cloud-based Collaborative Tool Infrastructure.
MPM@ MoDELS
41–60
Anastasia Mavridou
Eduard Baranov
Simon Bliudze
Joseph Sifakis
2016
Architecture Diagrams: A Graphical Language for Architecture Style Specification
Proceedings 9th Interaction and Concurrency Experience, ICE 2016, Heraklion, Greece, 8-9 June 2016.
83–97
10.4204/EPTCS.223.6
Anastasia Mavridou
Joseph Sifakis
Janos Sztipanovits
2018
DesignBIP: A Design Studio for Modeling and Generating Systems with BIP
https://arxiv.org/abs/1805.09919
ArXiv:1805.09919 [cs.SE]
Anastasia Mavridou
Emmanouela Stachtiari
Simon Bliudze
Anton Ivanov
Panagiotis Katsaros
Joseph Sifakis
2017
Architecture-Based Design: A Satellite On-Board Software Case Study
Olga Kouchnarenko
Ramtin Khosravi
Formal Aspects of Component Software
Springer International Publishing
Cham
260–279
10.1007/978-3-642-25264-8_4
N. Medvidovic
R. N. Taylor
2000
A classification and comparison framework for software architecture description languages
IEEE Transactions on Software Engineering
26
1
70–93
10.1109/32.825767
H. Neema
J. Sztipanovits
M. Burns
E. Griffor
2016
C2WT-TE: A model-based open platform for integrated simulations of transactive smart grids
2016 Workshop on Modeling and Simulation of Cyber-Physical Energy Systems (MSCPES)
1–6
10.1109/MSCPES.2016.7480218
Mert Ozkaya
Christos Kloukinas
2013
Are we there yet? Analyzing architecture description languages for formal analysis, usability, and realizability
Software Engineering and Advanced Applications (SEAA), 2013 39th EUROMICRO Conference on
IEEE
177–184
10.1109/SEAA.2013.34
J. A. Stankovic
Ruiqing Zhu
R. Poornalingam
Chenyang Lu
Zhendong Yu
M. Humphrey
B. Ellis
2003
VEST: an aspect-based composition tool for real-time systems
The 9th IEEE Real-Time and Embedded Technology and Applications Symposium, 2003. Proceedings.
58–69
10.1109/RTTAS.2003.1203037
Clemens Szyperski
1998
Component Software: Beyond Object-oriented Programming
ACM Press/Addison-Wesley Publishing Co.
New York, NY, USA
K. Thramboulidis
2005
Model-integrated mechatronics - toward a new paradigm in the development of manufacturing systems
IEEE Transactions on Industrial Informatics
1
1
54–61
10.1109/TII.2005.844427