Proyecto Curricular Maestr en Ciencias de la Informacin y las Comunicaciones a o Universidad Distrital Francisco Jos de Caldas e

Asignatura: Desarrollo de software basado en componentes y especicacin arquitectural o Intensidad Horaria: Cuatro (4) horas semanales Cdigo: XXXXX Grupo 01 o

Henry Alberto Diosa Diciembre de 2010

1.

Justicacin o

2.

Objetivo general

Establecer bases conceptuales y prcticas en las a a reas de modelado arquitectural de software basado Las reas de trabajo de la ingenier de software en componentes con un acercamiento a la especia a cacin formal desde un enfoque axiomtico y de o a basada en componentes... a lgebras de procesos. [9] La posibilidad de dise ar software con un enfoque n centrado en la arquitectura y soportando las abstracciones de ms alto nivel con estereotipado de 2.1. Objetivos Espec a cos subsistemas como componentes de software posibilEjercitar los conocimientos de dise o detallan litando una vista jerrquica de los sistemas de ina do de software que fueron adquiridos en cursos formacin complejos. o anteriores de modelado [13]. La necesidad de especicar formalmente las arquitecturas de software para posibilitar el chequeo Repasar patrones de dise o con base en el ejern de propiedades estructurales y comportamentales. cicio prctico de la ingenier inversa a cdigo a a o fuente de ejemplos que reejen la aplicacin de o La revisin de las tecnolog alineadas con la o as los mismos [9]. construccin de software basado en componentes... o El concepto de componente de software... Analizar y aplicar los conceptos fundamentales de un lgebra de procesos para especicacin a o comportamental [12] [2] [14] [8]. Analizar y aplicar los conceptos fundamentales del lenguaje Z para la especicacin de estruco 1

* Ingeniero de Sistemas de la Universidad Nacional de Colombia, M. Sc. Teleinformtica de la Universidad Distrital a Francisco Jos de Caldas y Ph.D. en Ingenier con Enfasis e a en Ciencias de la Computacin de la Universidad del Valle. o Director Grupo de Investigacin ARQUISOFT o

tura y conguracin en arquitecturas de softo ware [15] [7] . Analizar y aplicar los conceptos fundamentales en el desarrollo de software basado en componentes [4] [5] [17]. Diferenciar conceptualmente el modelado arquitectural del modelado detallado en tiempo de dise o [10] [1]. n Revisar tecnolog de construccin de software as o basado en componentes.

Presentacin del profesor, objetivos, cono tenido, metodolog y formas de evaluaa cin del curso. o Arquitectura de sistemas vs. arquitecturas de software. Conceptos bsicos de patrones de software a en tiempo de dise o. n Categorizacin de los patrones de software o de Gangs of Four Consideraciones sobre la arquitectura de aplicaciones empresariales [11] Un ejemplo de especicacin formal aro quitectural: La mquina qu a mica abstracta [2] 2. Arquitectura de aplicaciones empresariales[6 h.] Modelos de acuerdo a la capa de presentacin o Modelos de acuerdo a la lgica de negocio o El mapeo a la capa de persistencia 3. Una revisin a los patrones de dise o deo n tallado [16 h.] Patrones de dise o creacionales. n Patrones de dise o estructurales. n Patrones de dise o para tratamiento de n colecciones. Patrones de dise o comportamentales. n 4. Introduccin a la especicacin formal o o de arquitecturas de software [12 h.] Conceptos bsicos [10] a La taxonom de estilos arquitecturales a [10] Lenguajes de descripcin arquitectural o [10] Introduccin al modelado formal: Lenguao je de descripcin de estilos arquitecturales o [16]. Enfoque axiomtico a Enfoque de lgebra de procesos a Ejemplo de especicacin formal de arquio tecturas de software basadas en componentes: Clculo arq . [6] a

3.

Metodolog a

Se desarrollarn clases magistrales y conferencias a sobre los temas programados en el curso. Para cada sesin de trabajo se entregarn ejemplos que o a apliquen los patrones de dise o presentado en su n conceptualizacin en sesiones presenciales por parte o del profesor; el estudiante debe elaborar los modelos funcionales, estructurales y dinmicos del ejema plo; tambin se debe lograr la ejecucin del ejemplo e o y analizar, en sesiones presenciales con el profesor, los ejercicios pactados para tal n. Se evaluarn peridicamente lecturas tcnicas a o e que el docente programe para el curso junto con exposiciones y ejercicios puntuales que sean asignados a los estudiantes. Un elemento valorativo sobre el manejo de auditorio y consistencia conceptual en disertaciones tcnicas se dar mediante la presentacin de un e a o tpico tecnolgico por parte de los estudiantes a o o travs de una exposicin oportunamente concertae o da y programada.

4.

Evaluacin o
Lecturas tcnicas [16] 20 % e Exposicin tpico tecnolgico 20 % o o o Ejercicios 40 % Examen nal 20 %

5.

Contenidos

1. Introduccin [2 h.] o

Consideraciones sobre modelos de proceso y el desarrollo de software basado en componentes [10] [3] [4] 5. El Clculo como herramienta de esa pecicacin formal [12 h.] : o Introduccin o Procesos secuenciales y bisimulacin o Procesos concurrentes y el concepto de reaccin o Sistemas de transicin rotulados de proo cesos concurrentes La observacin de equivalencia o C lculo : Sintaxis y semntica operaa a cional Modelado bsico de servicios Web con a C lculo a

Referencias
[1] Ana Milena Parra, Juan Carlos Reyes, H. A. D. Dise o e implementacin de una n o herramienta de traduccin de xADL2.0 a dio agramas basados en componentes UML2.0. Grupo de investigacn ARQUISOFT. Ingeo nier de Sistemas. Universidad Distrital Frana cisco Jos de Caldas, 2007. e [2] Berry, G., and Boudol, G. The Chemical Abstract Machine. Theoretical Computer Sci. 96 (1992), 217248. [3] Capera, H., and Penaloza, J. Desarrollo de componentes de software para historias cl nicas electrnicas. Tech. rep., Universidad o Distrital Francisco Jos de Caldas, 2010. e [4] Cheesman, J., and Daniels, J. UML Components. A Simple Process for Specifying Component-Based Software. Addison-Wesley, 2001. [5] Curbera, F. Component Contracts in Service-Oriented Architectures. IEEE Computer 40, 11 (2007), 7480. [6] Diosa, H. A. Especicacin de un modelo o de referencia arquitectural de software a nivel de conguracin, estructura y comportamiento. o PhD thesis, Escuela de Ingenier de Sistemas a y Computacin. Universidad del Valle (Colomo bia), 2009. [7] Grassmann, W. K., and Tremblay, J.-P. Matemtica Discreta y Lgica. Una perspectiva a o desde la ciencia de la computacin. Prenticeo Hall, 1998. [8] Hoare, C. Communicating Sequential Processes. Communications of the ACM 21, 8 (1978), 666677. [9] Kuchana, P. Software Architecture Design Patterns in Java. CRC Press, 2004. [10] Len Bass P. C., and Kazman, R. Software Architecture in Practice. Addison-Wesley, 1998. [11] Martin Fowler, David Rice, M. F. E. H. R. M., and Stafford, R. Patterns of

6.

Recursos para cada sesin o

Saln de conferencias o Videobeam y computador Herramienta de modelado conforme a UML 2.x Programa para dise ar presentaciones n Acceso a Internet IDE para programacin en JAVA o m o nimamente la mquina virtual en su ultima versin a o estable

7.

Areas relacionadas

1. Ingenier de requerimientos a 2. Arquitecturas de software 3. Anlisis y dise o de software a n 4. Mtodos formales para la especicacin arquie o tectural de software 5. Patrones de dise o n 6. Programacin orientada a objetos o 7. Desarrollo de software basado en componentes

Enterprise Application Architecture. AddisonWesley. Pearson education, 2003. [12] Milner, R. Communicating and Mobile Systems:the -Calculus. Cambridge University Press, 1999. [13] Object Management Group. UML 2.1.2 Superstructure Specication, nov 2007. [14] Sangiorgi, D., and Walker, D. The calculus. A theory of Mobile Processes. Cambridge University Press, 2003. [15] Seidman, S. B. Computer Science Handbook. Chapman & Hall/CRC with ACM, 2004. [16] Seidman, S. B. Software Architecture. Computer Science Handbook. Second Edition 1 (2004), 109110917. [17] Szyperski, C., Gruntz, D., and Murer, S. Component Software. Beyond Object-Oriented Programming. Addison Wesley. ACM press, 2005.