SciELO - Scientific Electronic Library Online

 
vol.13 número1FIVE ONTOLOGICAL LEVELS TO DESCRIBE AND EVALUATE SOFTWARE ARCHITECTURESUN NUEVO ALGORITMO DISTRIBUIDO DE EXCLUSIÓN MUTUA QUE MINIMIZA EL INTERCAMBIO DE MENSAJES índice de autoresíndice de materiabúsqueda de artículos
Home Pagelista alfabética de revistas  

Servicios Personalizados

Revista

Articulo

Indicadores

Links relacionados

Compartir


Revista Facultad de Ingeniería - Universidad de Tarapacá

versión On-line ISSN 0718-1337

Rev. Fac. Ing. - Univ. Tarapacá v.13 n.1 Arica abr. 2005

http://dx.doi.org/10.4067/S0718-13372005000100009 

 

Rev. Fac. Ing. - Univ. Tarapacá, vol. 13 no. 1, 2005, pp. 77-87

INPUT/OUTPUT AUTÓMATAS COMO LENGUAJE DE DEFINICIÓN
DE ARQUITECTURAS

María Cecilia Bastarrica1 David Gómez1 Cristian Wilckens1

1 {cecilia,dagomez,cwilcken}@dcc.uchile.cl, Departamento de Ciencias de la Computación, Facultad de Ciencias Físicas y Matemáticas, Universidad de Chile. Blanco Encalada 2120, Santiago, Chile.


RESUMEN

Un lenguaje de descripción de arquitecturas (ADL) debe ser capaz de modelar componentes, conectores y  configuraciones de software con una serie de características. Los Input/Output Autómatas (IOA) no fueron creados como un ADL sino como un lenguaje para especificación de sistemas concurrentes asincrónicos. Este artículo muestra cómo IOA puede también ser usado como ADL con múltiples ventajas.

Palabras clave: Lenguajes de descripción de arquitecturas, input/output, autómatas, arquitectura de software.

ABSTRACT

An architectural description language (ADL) must be able to model software components, connectors and configurations with a series of well defined characteristics. Input/Output Automata (IOA) were not created as an ADL but as a specification language for asinchronoust concurrent systems. In this paper we show how IOA can be used as an ADL with multiple advantages.

Keywords: Architecture description languages, input/output automata, software architecture.


REFERENCIAS

[1] G.D. Abowd, R. Allen and D. Garlan. "Formalizing style to understand descriptions of software architecture". ACM Transactions on Software Engineering and Methodology, 4(4):319-364, 1995.         [ Links ]

[2] R. Allen and D. Garlan. "A Formal Basis for Architectural Connection". ACM Transactions on Software Engineering and Methodoly, 6(3):213-249, July 1997.         [ Links ]

[3] P. Attie and N. Lynch. "Dynamic Input/Output Automata: a Formal Model for Dynamic Systems". In CONCUR’01, the International Conference on Concurrency Theory, Aalborg, Denmark, August 2001.         [ Links ]

[4] M. C. Bastarrica, S.F. Ochoa and P.O. Rossel. "Integrated Notation for Software Architecture Specification". In Proceedings of the XXIV International Conference of the Chilean Computer Science Society (SCCC), Arica, Chile, November 2004. IEEE Press.         [ Links ]

[5] F. Buschmann, R. Meunier, H. Rohnert and P. Sommerlad. "Pattern Oriented Software Architecture: A System of Patterns". John Wiley & Son Ltd., August 1996.         [ Links ]

[6] P. Clements, F. Bachmann, L. Bass, D. Garlan, J. Ivers, R. Little, R. Nord and J. Stafford. "Documenting Software Architectures. Views and Beyond". SEI Series in Software Engineering. Addison Wesley, 2002.         [ Links ]

[7] D. Garlan, Shang-Wen Cheng and A.J. Kompanek. "Reconciling the Needs of Architecture Description with Object-Modeling Notations". Science of Computer Programming, 44(1):23-49, July 2002.         [ Links ]

[8] S. Garland and N. Lynch. "Using I/O Automata for Developing Distributed Systems. in Foundations of Component-Based Systems", G. T. Leavens and M. Sitaraman, Eds., chapter 13, pp. 285-312. Cambridge University Press, USA, 2000.         [ Links ]

[9] S.J. Garland and N.A. Lynch. "The IOA Language and Toolset: Support for Designing, Analyzing, and Building Distributed Systems". Technical Report MIT/LCS/TR-762, MIT Laboratory for Computer Science, Cambridge, MA, August 1998.         [ Links ]

[10] J.V. Guttag, J.J. Horning, and J.M. Wing. "The Larch Family of Specification Languages". IEEE Software, 2(5), 1985.         [ Links ]

[11] J.V. Guttag and J.J. Horning. "Larch: Languages and Tools for Formal Specification". Springer-Verlag Texts and Monographs in Computer Science, 1993.         [ Links ]

[12] I. Jacobson, G. Booch, and J. Rumbaugh. "The Unified Software Development Process". Object-Technology Series. Addison-Wesley Profesional, February 1999.         [ Links ]

[13] N. Lynch. "Distributed Algorithms". Morgan Kaufmann Publishers, 1996.         [ Links ]

[14] N. Lynch and M. Tuttle. "An Introduction to Input/Output Automata". CWI Quart, 2(3):219-246, 1989.         [ Links ]

[15] N. Medvidovic and R. Taylor. "A Classification and Comparison Framework for Software Architecture Description Languages". IEEE Transactions on Software Engineering, 26(1):70-93, January 2000.         [ Links ]

[16] Mary Shaw and David Garlan. "Software Architecture. Perspectives on an Emerging Discipline". Prentice Hall, 1996.        [ Links ]

Recibido el 14 de enero de 2004, aceptado el 25 de octubre de 2004

 

Creative Commons License Todo el contenido de esta revista, excepto dónde está identificado, está bajo una Licencia Creative Commons