Brief announcement: incremental component-based modeling, verification, and performance evaluation of distributed resetReportar como inadecuado




Brief announcement: incremental component-based modeling, verification, and performance evaluation of distributed reset - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

Presented at: Distributed Computing. Proceedings 23rd International Symposium, DISC 2009, Berlin, Germany Published in: Distributed Computing. Proceedings 23rd International Symposium, DISC 2009, p. 174 - 5 Publication date: 2009

In this work, we apply a methodology which consistently integrates modeling, verification, and performance evaluation techniques, based on the BIP (Behavior, Interaction, Priority) component framework developed at Verimag [A. Basu et al., 2006; A. Basu et al., 2008]. BIP is based on a semantic model encompassing composition of heterogeneous components. The distributed semantics of BIP allows generating from a high-level component-based model in BIP an observationally equivalent distributed implementation [A. Basu et al., 2008]. BIP uses two families of composition operators for expressing coordination between components: interactions and priorities. Interactions may involve multiple components (unlike traditional point-to-point formalisms) and are expressed by combining two protocols: rendezvous and broadcast. We note that addition of interactions among components adds no extra behaviors.

Keywords: distributed processing ; formal verification ; object-oriented programming ; software performance evaluation Reference EPFL-CONF-185005doi:10.1007/978-3-642-04355-0_19





Autor: Basu, A.; Bonakdarpour, B.; Bozga, M.; Sifakis, J.

Fuente: https://infoscience.epfl.ch/record/185005?ln=en







Documentos relacionados