Abstract
Architecture Description Languages (ADL) provide descriptions of a software system in terms of its structure. Such descriptions give a high-level overview and come from the need to cope with arbitrarily complex dependencies arising from software components.
In this paper we present Painless, a novel ADL with a declarative trait supporting parametrized specifications and architectural reconfigurations. Moreover, we exhibit its reliable facet on its integration with ProActive — a middleware for distributed programming. This is achieved by building on top of Mefresa, a Coq framework for the reasoning on software architectures. We inherit its strong guarantees by extracting certified code, and subsequently integrating it in our toolchain.
Chapter PDF
Similar content being viewed by others
Keywords
References
ActiveEon, S.A.S.: ProActive - A Library for Parallel and Distributed Programming
Baude, F., Caromel, D., Dalmasso, C., Danelutto, M., Getov, V., Henrio, L., Pérez, C.: GCM: a grid extension to fractal for autonomous distributed components. Annales des Télécommunications (2009)
Baude, F., Henrio, L., Naoumenko, P.: Structural reconfiguration: an autonomic strategy for GCM components. In: Proc. of the Fifth International Conference on Autonomic and Autonomous Systems: ICAS 2009 (2009)
Bruneton, E., Coupaye, T., Stefani, J.-B.: The Fractal component model (2004)
Clerc, X.: OCaml-Java: OCaml on the JVM. In: Loidl, H.-W., Peña, R. (eds.) TFP 2012. LNCS, vol. 7829, pp. 167–181. Springer, Heidelberg (2013)
Cosmo, R.D., Zacchiroli, S., Zavattaro, G.: Towards a formal component model for the cloud. In: Eleftherakis, G., Hinchey, M., Holcombe, M. (eds.) SEFM 2012. LNCS, vol. 7504, pp. 156–171. Springer, Heidelberg (2012)
David, P.-C., Ledoux, T., Coupaye, T., Léger, M.: FPath and FScript: Language support for navigation and reliable reconfiguration of Fractal architectures. Annals of Telecommunications 64(1-2), 45–63 (2009)
Di Ruscio, D., Malavolta, I., Muccini, H., Pelliccione, P., Pierantonio, A.: ByADL: An MDE framework for building extensible architecture description languages. In: Babar, M.A., Gorton, I. (eds.) ECSA 2010. LNCS, vol. 6285, pp. 527–531. Springer, Heidelberg (2010)
Endler, M., Wei, J.: Programming generic dynamic reconfigurations for distributed applications. In: International Workshop on Configurable Distributed Systems, pp. 68–79 (1992)
ETSI. ETSI TS 102 829 V1.1.1 - GRID; Grid Component Model (GCM); GCM Fractal Architecture Description Language (ADL). Technical Spec., ETSI (2009)
Gaspar, N., Henrio, L., Madelaine, E.: Bringing Coq into the world of GCM distributed applications. International Journal of Parallel Programming, 1–20 (2013)
Hoare, C.A.R.: An axiomatic basis for computer programming. Communications of the ACM 12(10), 576–580 (1969)
Lallet, J., Pillement, S., Sentieys, O.: xMAML: A modeling language for dynamically reconfigurable architectures. In: Antonio, N., Carballo, P.P. (eds.) DSD, pp. 680–687. IEEE Computer Society (2009)
Morrison, R., Kirby, G.N.C., Balasubramaniam, D., Mickan, K., Oquendo, F., Cîmpan, S., Warboys, B., Snowdon, B., Greenwood, R.M.: Constructing Active Architectures in the ArchWare ADL. CoRR (2010)
Sanchez, A., Barbosa, L.S., Riesco, D.: Bigraphical modelling of architectural patterns. In: Arbab, F., Ölveczky, P.C. (eds.) FACS 2011. LNCS, vol. 7253, pp. 313–330. Springer, Heidelberg (2012)
The Coq Development Team. The Coq Proof Assistant Reference Manual (2012)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 IFIP International Federation for Information Processing
About this paper
Cite this paper
Gaspar, N., Henrio, L., Madelaine, E. (2015). Painless Support for Static and Runtime Verification of Component-Based Applications. In: Dastani, M., Sirjani, M. (eds) Fundamentals of Software Engineering. FSEN 2015. Lecture Notes in Computer Science(), vol 9392. Springer, Cham. https://doi.org/10.1007/978-3-319-24644-4_18
Download citation
DOI: https://doi.org/10.1007/978-3-319-24644-4_18
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-24643-7
Online ISBN: 978-3-319-24644-4
eBook Packages: Computer ScienceComputer Science (R0)