DesignBIP: A Design Studio for Modeling and Generating Systems with BIP

The Behavior-Interaction-Priority (BIP) framework, rooted in rigorous semantics, allows the construction of systems that are correct-by-design. BIP has been effectively used for the construction and analysis of large systems such as robot controllers and satellite on-board software. Nevertheless, the specification of BIP models is done in a purely textual manner without any code editor support. To facilitate the specification of BIP models, we present DesignBIP, a web-based, collaborative, version-controlled design studio. To promote model scaling and reusability of BIP models, we use a graphical language for modeling parameterized BIP models with rigorous semantics. We present the various services provided by the design studio, including model editors, code editors, consistency checking mechanisms, code generators, and integration with the JavaBIP tool-set.

[1]  Joseph Sifakis,et al.  Architecture Diagrams: A Graphical Language for Architecture Style Specification , 2016, ICE.

[2]  Richard N. Taylor,et al.  A Classification and Comparison Framework for Software Architecture Description Languages , 2000, IEEE Trans. Software Eng..

[3]  Joseph Sifakis,et al.  Rigorous Component-Based System Design Using the BIP Framework , 2011, IEEE Software.

[4]  Miklós Maróti,et al.  Next Generation (Meta)Modeling: Web- and Cloud-based Collaborative Tool Infrastructure , 2014, MPM@MoDELS.

[5]  Julien Delange,et al.  TASTE: A Real-Time Software Engineering Tool-Chain Overview, Status, and Future , 2011, SDL Forum.

[6]  Bruno Dutertre,et al.  A Fast Linear-Arithmetic Solver for DPLL(T) , 2006, CAV.

[7]  Simon Bliudze,et al.  Exogenous coordination of concurrent software components with JavaBIP , 2017, Softw. Pract. Exp..

[8]  Robert Daigneau,et al.  Service Design Patterns: Fundamental Design Solutions for SOAP/WSDL and RESTful Web Services , 2011 .

[9]  Kleanthis Thramboulidis,et al.  Model-integrated mechatronics - toward a new paradigm in the development of manufacturing systems , 2005, IEEE Transactions on Industrial Informatics.

[10]  Pietro Valdastri,et al.  Systematic Design of Medical Capsule Robots , 2015, IEEE Design & Test.

[11]  Henry Muccini,et al.  What Industry Needs from Architectural Languages: A Survey , 2013, IEEE Transactions on Software Engineering.

[12]  Gabor Karsai,et al.  ROSMOD: a toolsuite for modeling, generating, deploying, and managing distributed real-time component-based software using ROS , 2015, 2015 International Symposium on Rapid System Prototyping (RSP).

[13]  Bernhard Rumpe,et al.  Meaningful modeling: what's the semantics of "semantics"? , 2004, Computer.

[14]  Volker Gruhn,et al.  Model-Driven Software Development , 2005 .

[15]  Christos Kloukinas,et al.  Are We There Yet? Analyzing Architecture Description Languages for Formal Analysis, Usability, and Realizability , 2013, 2013 39th Euromicro Conference on Software Engineering and Advanced Applications.

[16]  Gregor Hohpe,et al.  Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions , 2003 .

[17]  Joseph Sifakis,et al.  D-Finder: A Tool for Compositional Deadlock Detection and Verification , 2009, CAV.

[18]  Joseph Sifakis,et al.  Causal semantics for the algebra of connectors , 2008, Formal Methods Syst. Des..

[19]  Brian Ellis,et al.  VEST: an aspect-based composition tool for real-time systems , 2003, The 9th IEEE Real-Time and Embedded Technology and Applications Symposium, 2003. Proceedings..

[20]  Joseph Sifakis,et al.  Functional BIP: Embedding connectors in functional programming languages , 2017, J. Log. Algebraic Methods Program..

[21]  Joseph Sifakis,et al.  Architecture-Based Design: A Satellite On-Board Software Case Study , 2016, FACS.

[22]  Joseph Sifakis,et al.  The Algebra of Connectors - Structuring Interaction in BIP , 2008, IEEE Trans. Computers.

[23]  Paul Clements,et al.  Documenting Component and Connector Views with UML 2.0 , 2004 .

[24]  David Garlan,et al.  Documenting software architectures: views and beyond , 2002, 25th International Conference on Software Engineering, 2003. Proceedings..

[25]  Edward Griffor,et al.  C2WT-TE: A model-based open platform for integrated simulations of transactive smart grids , 2016, 2016 Workshop on Modeling and Simulation of Cyber-Physical Energy Systems (MSCPES).

[26]  Qiang Wang,et al.  Formal Verification of Infinite-State BIP Models , 2015, ATVA.

[27]  Joseph Sifakis,et al.  Modeling Dynamic Architectures Using Dy-BIP , 2012, SC@TOOLS.

[28]  하수철,et al.  [서평]「Component Software」 - Beyond Object-Oriented Programming - , 2000 .