Empowering SysML-Based Software Architecture Description with Formal Verification: From SysADL to CSP

[1]  Ian J. Hayes,et al.  Developing an Algebra for Rely/Guarantee Concurrency: Design Decisions and Challenges , 2019, UTP.

[2]  Flavio Oquendo,et al.  A Research Landscape on Formal Verification of Software Architecture Descriptions , 2019, IEEE Access.

[3]  Flávio Oquendo,et al.  Designing and Executing Software Architectures Models Using SysADL Studio , 2018, 2018 IEEE International Conference on Software Architecture Companion (ICSA-C).

[4]  Mert Ozkaya,et al.  Do the informal & formal software modeling notations satisfy practitioners for software architecture modeling? , 2017, Inf. Softw. Technol..

[5]  Mohamed Tahar Bhiri,et al.  Wr2Fdr Tool Maintenance for Models Checking , 2017, SoMeT.

[6]  Jair Leite,et al.  Software Architecture in Action: Designing and Executing Architectural Models with SysADL Grounded on the OMG SysML Standard , 2016 .

[7]  Mohamed Tahar Bhiri,et al.  Behavioral Verification of UML2.0 Software Architecture , 2016, SKG.

[8]  A. W. Roscoe,et al.  FDR3: a parallel refinement checker for CSP , 2015, International Journal on Software Tools for Technology Transfer.

[9]  Henry Muccini,et al.  The Road Ahead for Architectural Languages , 2015, IEEE Software.

[10]  Marianne Huchard,et al.  Formal Rules for Reliable Component-Based Architecture Evolution , 2014, FACS.

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

[12]  Christopher L. Conway,et al.  Cvc4 , 2011, CAV.

[13]  A. W. Roscoe.  Understanding Concurrent Systems , 2010, Texts in Computer Science.

[14]  Bixin Li,et al.  A classification and comparison of model checking software architecture techniques , 2010, J. Syst. Softw..

[15]  Haralambos Mouratidis,et al.  A secure architectural description language for agent systems , 2005, AAMAS '05.