Painless Support for Static and Runtime Verification of Component-Based Applications
作者： Nuno Gaspar , Ludovic Henrio , Eric Madelaine
DOI: 10.1007/978-3-319-24644-4_18
关键词:
摘要: Architecture Description Languages (ADL) provide descriptions of a software system in terms its structure. Such give high-level overview and come from the need to cope with arbitrarily complex dependencies arising components.
springer.com
archives-ouvertes.fr
sci-hub.st 参考文章(14)
Davide Di Ruscio, Ivano Malavolta, Henry Muccini, Patrizio Pelliccione, Alfonso Pierantonio, ByADL: an MDE framework for building extensible architecture description languages european conference on software architecture. pp. 527- 531 ,(2010) , 10.1007/978-3-642-15114-9_56
Xavier Clerc, OCaml-Java: OCaml on the JVM trends in functional programming. pp. 167- 181 ,(2012) , 10.1007/978-3-642-40447-4_11
Sorana Cîmpan, Graham N. C. Kirby, Flávio Oquendo, Dharini Balasubramaniam, Bob Snowdon, Kath Mickan, Brian Warboys, R. Mark Greenwood, Ronald Morrison, Constructing Active Architectures in the ArchWare ADL arXiv: Software Engineering. ,(2003)
Roberto Di Cosmo, Stefano Zacchiroli, Gianluigi Zavattaro, Towards a Formal Component Model for the Cloud Software Engineering and Formal Methods. pp. 156- 171 ,(2012) , 10.1007/978-3-642-33826-7_11
Alejandro Sanchez, Luís Soares. Barbosa, Daniel Riesco, Bigraphical Modelling of Architectural Patterns formal aspects of component software. pp. 313- 330 ,(2011) , 10.1007/978-3-642-35743-5_19
Markus Endler, Jiawang Wei, Programming generic dynamic reconfigurations for distributed applications cooperative distributed systems. pp. 68- 79 ,(1992)
Pierre-Charles David, Thomas Ledoux, Marc Léger, Thierry Coupaye, FPath and FScript: Language support for navigation and reliable reconfiguration of Fractal architectures Annales Des Télécommunications. ,vol. 64, pp. 45- 63 ,(2009) , 10.1007/S12243-008-0073-Y
Françoise Baude, Denis Caromel, Cédric Dalmasso, Marco Danelutto, Vladimir Getov, Ludovic Henrio, Christian Pérez, GCM: a grid extension to Fractal for autonomous distributed components Annales Des Télécommunications. ,vol. 64, pp. 5- 24 ,(2009) , 10.1007/S12243-008-0068-8
Nuno Gaspar, Ludovic Henrio, Eric Madelaine, Bringing Coq into the World of GCM Distributed Applications International Journal of Parallel Programming. ,vol. 42, pp. 643- 662 ,(2014) , 10.1007/S10766-013-0264-7
Françoise Baude, Ludovic Henrio, Paul Naoumenko, Structural Reconfiguration: An Autonomic Strategy for GCM Components international conference on autonomic and autonomous systems. pp. 123- 128 ,(2009) , 10.1109/ICAS.2009.28