Navegar

Colección

Datos Estadísticas

Artículo

Inverardi, P.; Wolf, A.L.; Yankelevich, D. "Static checking of system behaviors using derived component assumptions" (2000) ACM Transactions on Software Engineering and Methodology. 9(3):239-272
Estamos trabajando para incorporar este artículo al repositorio
Consulte el artículo en la página del editor
Consulte la política de Acceso Abierto del editor

Abstract:

A critical challenge faced by the developer of a software system is to understand whether the system's components correctly integrate. While type theory has provided substantial help in detecting and preventing errors in mismatched static properties, much work remains in the area of dynamics. In particular, components make assumptions about their behavioral interaction with other components, but currently we have only limited ways in which to state those assumptions and to analyze those assumptions for correctness. We have formulated a method that begins to address this problem. The method operates at the architectural level so that behavioral integration errors, such as deadlock, can be revealed early and at a high level. For each component, a specification is given of its interaction behavior. From this specification, assumptions that the component makes about the corresponding interaction behavior of the external context are automatically derived. We have defined an algorithm that performs compatibility checks between finite representations of a component's context assumptions and the actual interaction behaviors of the components with which it is intended to interact. A configuration of a system is possible if and only if a successful way of matching actual behaviors with assumptions can be found. The state-space complexity of this algorithm is significantly less than that of comparable approaches, and in the worst case, the time complexity is comparable to the worst case of standard reachability analysis.

Registro:

Documento: Artículo
Título:Static checking of system behaviors using derived component assumptions
Autor:Inverardi, P.; Wolf, A.L.; Yankelevich, D.
Filiación:Dipartimento di Matematica, Universitá dell' Aquila, I-67010 L'Aquila, Italy
Department of Computer Science, University of Colorado, Boulder, CO 80309-0430, United States
Departamento de Compuatciön, Universidad de Buenos Aires, 1428 Buenos Aires, Argentina
Palabras clave:Assumptions; Chemical Abstract Machine model; Component-based systems; Design; Static analysis; Theory; Verification
Año:2000
Volumen:9
Número:3
Página de inicio:239
Página de fin:272
DOI: http://dx.doi.org/10.1145/352591.352593
Título revista:ACM Transactions on Software Engineering and Methodology
Título revista abreviado:ACM Trans Software Eng Methodol
ISSN:1049331X
CODEN:ATSME
Registro:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_1049331X_v9_n3_p239_Inverardi

Referencias:

  • Allen, R., Garlan, D., A case study in architectural modeling: The AEGIS system (1996) Proceedings of the 8th International Workshop on Software Specification and Design, pp. 6-15. , (March 1996), IEEE Computer Society
  • Allen, R., Garlan, D., A formal basis for architectural connection (1997) ACM Transactions on Software Engineering and Methodology, 6 (3 JULY), pp. 213-249
  • Banâtre, J.-P., Métayer, D.L., The gamma model and its discipline of programming (1990) Science of Computer Programming, 15, pp. 55-77
  • Banâtre, J.-P., Métayer, D.L., Programming by multiset transformation (1993) Communications of the ACM, 36 (1 JAN.), pp. 98-111
  • Berry, G., Boudol, G., The chemical abstract machine (1992) Theoretical Computer Science, 96, pp. 217-248
  • Boudol, G., Some chemical abstract machines (1994) Lecture Notes in Computer Science, 803, pp. 92-123. , A Decade of Concurrency, (May 1994), Springer-Verlag
  • Campbell, R., Habermann, A., The specification of process synchronization by path expressions (1974) Lecture Notes in Computer Science, 16, pp. 89-102. , Proceedings of an International Symposium on Operating Systems, (April 1974), Springer-Verlag
  • Compare, D., Inverardi, P., Wolf, A., Uncovering architectural mismatch in component behavior (1999) Science of Computer Programming, 33 (2 FEB.), pp. 101-131
  • Edwards, S., Weide, B., WISR8: 8th Annual workshop on software reuse summary and working group reports (1997) SIGSOFT Software Engineering Notes, 22 (5 SEPT.), pp. 17-32
  • Garlan, D., Allen, R., Ockerbloom, J., Architectural mismatch: Why reuse is so hard (1995) IEEE Software, 12 (6 NOV.), pp. 17-26
  • Garlan, D., Kindred, D., Wing, J., (1995) Interoperability: Sample Problems and Solutions, , Available from the authors
  • Hoare, C., (1985) Communicating Sequential Processes, , Prentice-Hall, Englewood Cliffs, New Jersey
  • Inverardi, P., Priami, C., Automatic verification of distributed systems: The process algebra approach (1996) Formal Methods in System Design, pp. 7-38. , Boston, Massachusetts: Kluwer Academic
  • Inverardi, P., Wolf, A., Formal specification and analysis of software architectures using the chemical abstract machine model (1995) IEEE Transactions on Software Engineering, 21 (4 APRIL), pp. 373-386
  • Inverardi, P., Yankelevich, D., Relating CHAM descriptions of software architectures (1996) Proceedings of the 8th International Workshop on Software Specification and Design, pp. 66-74. , (March 1996), IEEE Computer Society
  • Kobayashi, N., A partially deadlock-free typed process calculus (1998) ACM Transactions on Programming Languages and Systems, 20 (2 MARCH), pp. 436-482
  • Liskov, B., Wing, J., A behavioral notion of subtyping (1994) ACM Transactions on Programming Languages and Systems, 16 (6 NOV.), pp. 1811-1841
  • Luckham, D., Kenney, J., Augustin, L., Vera, J., Bryan, D., Mann, W., Specification and analysis of system architecture using rapide (1995) IEEE Transactions on Software Engineering, 21 (4 APRIL), pp. 336-355
  • Magee, J., Kramer, J., Giannakopoulou, D., Analysing the behaviour of distributed software architectures: A case study (1997) Fifth IEEE Workshop on Future Trends of Distributed Computing Systems, pp. 240-247. , Oct. 1997
  • Milner, R., (1989) Communication and Concurrency, , Prentice-Hall, Englewood Cliffs, New Jersey
  • Paige, R., Tarjan, R., Three partition refinement algorithms (1987) SIAM Journal on Computing, 16 (6), pp. 973-989
  • Perry, D., The inscape environment (1989) Proceedings of the 11th International Conference on Software Engineering, pp. 2-11. , (May 1989), IEEE Computer Society
  • Perry, D., Wolf, A., Foundations for the study of software architecture (1992) SIGSOFT Software Engineering Notes, 17 (4 OCT.), pp. 40-52
  • Radestock, M., Eisenbach, S., What do you get from a Pi-calculus semantics? (1994) Lecture Notes in Computer Science, 817, pp. 635-647. , Proceedings of PARLE'94 Parallel Architectures and Languages Europe, (1994), Springer-Verlag
  • Shaw, M., Garlan, D., (1996) Software Architecture: Perspectives on an Emerging Discipline, , Prentice-Hall, Englewood Cliffs, New Jersey
  • Sumii, E., Kobayashi, N., A generalized deadlock-free process calculus (1998) 3rd International Workshop on High-level Concurrent Languages, Volume 16 of Electronic Notes in Theoretical Computer Science, 16. , (Sept. 1998). Elsevier
  • Wolf, A., Clarke, L., Wileden, J., The AdaPIC tool set: Supporting interface control and analysis throughout the software development process (1989) IEEE Transactions on Software Engineering, 15 (3 MARCH), pp. 250-263
  • Zaremski, A., Wing, J., Specification matching of software components (1997) ACM Transactions on Software Engineering and Methodology, 6 (4 OCT.), pp. 333-369

Citas:

---------- APA ----------
Inverardi, P., Wolf, A.L. & Yankelevich, D. (2000) . Static checking of system behaviors using derived component assumptions. ACM Transactions on Software Engineering and Methodology, 9(3), 239-272.
http://dx.doi.org/10.1145/352591.352593
---------- CHICAGO ----------
Inverardi, P., Wolf, A.L., Yankelevich, D. "Static checking of system behaviors using derived component assumptions" . ACM Transactions on Software Engineering and Methodology 9, no. 3 (2000) : 239-272.
http://dx.doi.org/10.1145/352591.352593
---------- MLA ----------
Inverardi, P., Wolf, A.L., Yankelevich, D. "Static checking of system behaviors using derived component assumptions" . ACM Transactions on Software Engineering and Methodology, vol. 9, no. 3, 2000, pp. 239-272.
http://dx.doi.org/10.1145/352591.352593
---------- VANCOUVER ----------
Inverardi, P., Wolf, A.L., Yankelevich, D. Static checking of system behaviors using derived component assumptions. ACM Trans Software Eng Methodol. 2000;9(3):239-272.
http://dx.doi.org/10.1145/352591.352593