On contracting different behavioral properties in component-based systems
| Autor: | Nicolas Rivierre, Alain Ozanne, Philippe Collet |
|---|---|
| Přispěvatelé: | Modélisation et Vérification (MoVe), Laboratoire d'Informatique de Paris 6 (LIP6), Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS) |
| Jazyk: | angličtina |
| Rok vydání: | 2006 |
| Předmět: |
Programming language
Computer science Reliability (computer networking) 020207 software engineering 02 engineering and technology computer.file_format computer.software_genre Component (UML) Component diagram Component-based software engineering 0202 electrical engineering electronic engineering information engineering Leverage (statistics) 020201 artificial intelligence & image processing [INFO]Computer Science [cs] Executable computer |
| Zdroj: | The 21st Annual ACM Symposium on Applied Computing, SAC'06 The 21st Annual ACM Symposium on Applied Computing, SAC'06, Apr 2006, Dijon, France. pp.1798-1799, ⟨10.1145/1141277.1141699⟩ SAC |
| DOI: | 10.1145/1141277.1141699⟩ |
| Popis: | International audience; Using different specification formalisms together is necessary to leverage better reliability on component-based systems. The ConFract system provides a contracting system for hierarchical software components, but currently, only executable assertions are supported. In this paper, we describe how to integrate other kinds of formalism in ConFract. We propose a domain specific language and integration tools that enable designers to describe the observations needed to appropriately verify their specifications. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|