Cámara de Comercio de Bogotá Centro Empresarial Chapinero

Transcripción

1 Desarrollo de software basado en modelos: de la teoría a la práctica Rubby Casallas rcasalla@uniandes.edu.co Departamento de Ingeniería de Sistemas y Computación Grupo de Construcción de Software Universidad de los Andes Cámara de Comercio de Bogotá Centro Empresarial Chapinero

2 Propósito de la charla Presentar experiencias de uso de la ingeniería de modelos para producir soluciones que hoy en día son utilizadas por usuarios finales Discutir sobre las dificultades y oportunidades de la ingeniería de modelos en un contexto real

3 Experiencias Academia Juego gerencial Monad: Sitios web Hiles

4 Generación de aplicaciones web transaccionales (JEE) Academia Juego gerencial

5 A Model Transformation Chain(MTC) M1 Model Transformation Chain P1 5

6 A Model Transformation Chain(MTC) Model Transformation Chain 6

7 A Model Transformation Chain(MTC) Model Transformation Chain Aplicaciones web (gxt) transaccionales JEE CRUD 7

8 A Model Transformation Chain(MTC) M1 M2 M3 Mn Model Transformation Chain P1 P2 P3 Pn 8

9 + An instance of a Model Transformation Chain(MTC) Problem Domain transformation Business Model Architecture Model Business Metamodel Architecture Metamodel transformation JEE Model JEE Metamodel transformation Java Metamodel Solution Domain generation Java Model application code 9

10 A Model Transformation Chain(MTC) Business Model: 1855 elements Architectural Model: 5750 elements (310%) 1 element 3 elements JEE Model: 7245 elements (126%)(393%) Java Model: elements (2361%)(2975%)(9222%) Lines of Code (LOC) 183 LOC x element There is an explosion of elements at each step 4 elements 92 element 10

11 Porcentaje de generación Generated Code Manual Code LOCs % LOCs % Total LOCs Business Logic WEB UI Total LOCs Generated Code Manual Code Files % Files % Total Files Business Logic WEB UI Total Files

12 Requerimientos funcionales avanzados

13 Decisión: Comprar activo fijo 1. Un grupo corporativo puede tomar varias decisiones de negocio en un periodo dado del Juego Tipo Decisión: Buy Fixed Asset (BA) BA 1 Instances

14 Decisión: Comprar activo fijo 2. Consolidar Jugada 3. Ejecutar Jugada Empresa: Postobon Estado Contable Decision instances Decision Definition BA 1 BA BA BA A B Business Simulator Caja Debitar: total Activos fijos Acreditar : Total # Edificios Oficinas Estado Operativo Num + 1 # Terrenos Num + 1 Industry Data (Queries)

15 Decisión: Comprar activo fijo 4. Ver resultados Balance General Empresa: GaseosasyRefrescos Estado Operativo Caja $ Activos fijos $ # Edificios Oficinas 5 unidades # Terrenos 5 unidades

16 Mages-Lenguaje de dominio específico Production expert Financial expert Comprar un insumo: 1. Comprar 5 llantas 2. 5*precioUnitario se le resta a la cuenta banco 3. 5*precioUnitario se le suma a la cuenta patrimonio 4. las 5 llantas se almacenan en el inventario de la compañía Marketing expert

17 Mages-Lenguaje de dominio específico Production expert Human Resources expert Marketing expert Contratar un empleado: 1. Contratar un operario para la planta central de la región Colombia 2. Genera un compromiso de pago salarial mensualmente 3. Se incluye el nuevo empleado en el inventario de la compañía Compromiso pago salarial 1. Se calcula el salario con base en la categoría y los factores prestacionales 2. Se resta el salario de la cuenta nomina 3. Se calcula el pago prestacional 4. Se resta el pago prestacional de

18 Mages-Lenguaje de dominio específico Production expert Contratar una campaña publicitaria: 1. Calcular el costo de la campaña 2. Restar el costo de la campaña de la cuenta 3. Calcular los beneficios de la campaña 4. Registrar en el inventario de la compañía la campaña Human Resources expert Marketing expert

19 Decisión: Comprar activo fijo Descripción Tipo de Activo Fijo (Asset Type) Unidad (Unit) Activo Fijo (Fixed asset ) Cantidad (Quantity) Número de serie (Stock Number) Esta decisión permite comprar un activo fijo de tipo terreno o edificación para una unidad de negocio seleccionada. Tipo de activo que se desea adquirir. La unidad donde se ubicara el activo fijo. El activo fijo que se va a comprar. Cantidad de unidades Numero de inventario para identificar el activo.

20 Decisión: Comprar activo fijo Operaciones Transacciones contables Transacciones operativas Total purchase cost = Asset s Unit Cost * Quantity (the cost depends of the region) Incrementar cuenta de activos Registrar el gasto en caja Agregar el activo al inventario de la empresa

21 Mages-Lenguaje de dominio específico

22 Mages-Lenguaje de dominio específico

23 Editor del lenguaje de dominio específico

24 Generated Code Manual Code LOCs % LOCs % Total LOCs Business Logic WEB UI Total LOCs Generated Code Manual Code Files % Files % Total Files Business Logic WEB UI Total Files

25 Monad-Sitios web Websites in a specific domain Domain Domain clients Restaurants Web development company Hotels Common website structurefora domian Client A DATA Client B DATA Solamente insertar los datos de los clientes 25

26

27 + Hiles: Sistemas embebidos (VHDL) Ayudar a los diseñadores de sistemas embebidos en el prototipado y validación Después viene la construcción real Existen herramientas de simulación donde los sistemas se programan en lenguaje de hardward como VHDL En Hiles se hace una descripción de alto nivel y se genera el código en VHDL

28 HiLeS Workbench - Papyrus Editor Domain Eng. Structure Behavior 28

29 PL Workbench - MTC Product Eng. System Level Processor Level RTL SysML Model Transform HiLeS Model Transform HDLs Models VHDL- AMS Verilog- AMS Generate Generate PetriNet Code HDLs Code TINA System Vision 29

30 Experiencias 1. Generación del código de base de las aplicaciones 2. Requerimientos CRUD 3. Las aplicaciones resultado hay que extenderlas con los requerimientos propios Academia 1. Adaptaciones a dominios específicos % sitio web 1. Lenguaje de dominio específico para definir los requerimientos % código Juego gerencial 1. Lenguaje de dominio específico para definir los requerimientos % código Monad: Sitios web Hiles

31 Conclusiones Herramientas cada vez mejores Hay casos de éxito Hay muy pocas personas entrenadas Es difícil: abstraer, entender dominios diversos, modelar (interpretar la realidad, construir correctamente los modelos), utilizar las herramientas Es costoso iniciar. Desarrollar infraestructuras adecuadas

32 Reportes sobre la práctica de MDE en la industria R. Cloutier and M. Bone, Compilation of SysML RFI Final Report, Stevens Institute of Technology, 2010 Systematic study of the use and effectiveness of model-based methods in systems engineering in industry J. Hutchinson, et al., Empirical Assessment of MDE in Industry, ICSE 2011 (*) Systematic study of the effectiveness of model-based methods in for software development in industry J. Hutchinson, et al., Model-Driven Engineering Practices in Industry, ICSE 2011 (*) Systematic study of the level of use of model-based methods in for software development in industry

33 Reportes sobre la práctica de MDE en la industria P. Mohagheghi and V. Dehlen, Where is the Proof? A Review of Experiences from Applying MDE in Industry, ECMDA 2008 (*) Review of available publications on industrial application of MBE in industry T. Weigert and F. Weil, Practical Experiences in Using Model-Driven Engineering to Develop Trustworthy Computing Systems, IEEE SUTC 2006 Summary of systematic use of MBE in Motorola with evaluation The Middleware Co., Model-Driven development for J2EE Utilizing a Model Driven Architecture (MDA) Approach, 2003 A systematic comparative study of traditional vs. model-based development on a software project