Post on 04-Aug-2015
Integrando técnicas avanzadas de modelado de requisitos en MOSKitt
Sergio España
Marcela Ruiz
Arturo Gonzalez
Oscar Pastor
Etc.
model-drivenrequirements
engineering
(in )
método
tecnología
método
ETAPA 1: ADAPTACIÓN DEL ANÁLISIS DE COMUNICACIONES PARA DSDM
FASE 1: ANÁLISIS Y ESPECIFICACIÓN TEÓRICA
FASE 2: DISEÑO E IMPLEMENTACIÓN
ETAPA 2: DEFINICIÓN DE TRANSFORMACIÓN DE MODELOS
FASE 3: ANÁLISIS Y ESPECIFICACIÓN TEÓRICA
FASE 4: DISEÑO E IMPLEMENTACIÓN
GUÍA MÉTOD. (CIM) DEL ANÁLISIS DE
COMUNICACIONES
MARCO CONCEPT. SOBRE SISTEMAS
INFORMACIÓN
METAMODELO PIM ANÁLISIS DE
COMUNICACIONES
METAMODELO EN LENGUAJE ECORE
METAMODELO PSM ANÁLISIS DE
COMUNICACIONES
HERRAMIENTA DE DIAGRAMACIÓN EN
MOSKITT
HERRAMIENTA DE DIAGRAMACIÓN
MEJORADA
DISEÑO DE METAMODELO
PIM
IMPLEMENTACIÓN DE HERRAMIENTA DE DIAGRAMACIÓN
EVALUACIÓN DE HERRAMIENTA DE DIAGRAMACIÓN
METAMODELO DE CLASES UML 2.0
DE MOSKITTDEFINICIÓN DE GUÍAS DE DERIVACIÓN
GUÍAS DE DERIVACIÓN
(PIM)
REGLAS DE TRANSFORMACIÓN
(PSM)
ESPECIFICACIÓN LENGUAJE
ATL MÓDULO DE TRANSFORMACIÓN
DE MODELOS EN MOSKITT
MÓDULO DE TRANSFORMACIÓN DE MODELOS MEJ.
DISEÑO DE METAMODELO PSM
EN UML 2.0
DESARROLLO ITERATIVO
INCREMENTAL
DESARROLLO ITERATIVO
INCREMENTAL EVALUACIÓN DE MÓDULO DE
TRANSFORMACIÓN
ANÁLISIS ONTOLÓGICO DEL
MÉTODO
ALINEAMIENTO CONCEPTUAL
ANÁLISIS COMUNIC.
ALINEAMIENTO ONTOLÓGICO DE
METAMODELOS PIM
DEFINICIÓN DE REGLAS DE
TRANSFORMACIÓN
IMPLEMENTACIÓM DE REGLAS DE
TRANSFORMACIÓN
método
tecnología
ETAPA 1: ADAPTACIÓN DEL ANÁLISIS DE COMUNICACIONES PARA DSDM
FASE 1: ANÁLISIS Y ESPECIFICACIÓN TEÓRICA
FASE 2: DISEÑO E IMPLEMENTACIÓN
ETAPA 2: DEFINICIÓN DE TRANSFORMACIÓN DE MODELOS
FASE 3: ANÁLISIS Y ESPECIFICACIÓN TEÓRICA
FASE 4: DISEÑO E IMPLEMENTACIÓN
GUÍA MÉTOD. (CIM) DEL ANÁLISIS DE
COMUNICACIONES
MARCO CONCEPT. SOBRE SISTEMAS
INFORMACIÓN
METAMODELO PIM ANÁLISIS DE
COMUNICACIONES
METAMODELO EN LENGUAJE ECORE
METAMODELO PSM ANÁLISIS DE
COMUNICACIONES
HERRAMIENTA DE DIAGRAMACIÓN EN
MOSKITT
HERRAMIENTA DE DIAGRAMACIÓN
MEJORADA
DISEÑO DE METAMODELO
PIM
IMPLEMENTACIÓN DE HERRAMIENTA DE DIAGRAMACIÓN
EVALUACIÓN DE HERRAMIENTA DE DIAGRAMACIÓN
METAMODELO DE CLASES UML 2.0
DE MOSKITTDEFINICIÓN DE GUÍAS DE DERIVACIÓN
GUÍAS DE DERIVACIÓN
(PIM)
REGLAS DE TRANSFORMACIÓN
(PSM)
ESPECIFICACIÓN LENGUAJE
ATL MÓDULO DE TRANSFORMACIÓN
DE MODELOS EN MOSKITT
MÓDULO DE TRANSFORMACIÓN DE MODELOS MEJ.
DISEÑO DE METAMODELO PSM
EN UML 2.0
DESARROLLO ITERATIVO
INCREMENTAL
DESARROLLO ITERATIVO
INCREMENTAL EVALUACIÓN DE MÓDULO DE
TRANSFORMACIÓN
ANÁLISIS ONTOLÓGICO DEL
MÉTODO
ALINEAMIENTO CONCEPTUAL
ANÁLISIS COMUNIC.
ALINEAMIENTO ONTOLÓGICO DE
METAMODELOS PIM
DEFINICIÓN DE REGLAS DE
TRANSFORMACIÓN
IMPLEMENTACIÓM DE REGLAS DE
TRANSFORMACIÓN
ETAPA 1: ADAPTACIÓN DEL ANÁLISIS DE COMUNICACIONES PARA DSDM
FASE 1: ANÁLISIS Y ESPECIFICACIÓN TEÓRICA
FASE 2: DISEÑO E IMPLEMENTACIÓN
ETAPA 2: DEFINICIÓN DE TRANSFORMACIÓN DE MODELOS
FASE 3: ANÁLISIS Y ESPECIFICACIÓN TEÓRICA
FASE 4: DISEÑO E IMPLEMENTACIÓN
GUÍA MÉTOD. (CIM) DEL ANÁLISIS DE
COMUNICACIONES
MARCO CONCEPT. SOBRE SISTEMAS
INFORMACIÓN
METAMODELO PIM ANÁLISIS DE
COMUNICACIONES
METAMODELO EN LENGUAJE ECORE
METAMODELO PSM ANÁLISIS DE
COMUNICACIONES
HERRAMIENTA DE DIAGRAMACIÓN EN
MOSKITT
HERRAMIENTA DE DIAGRAMACIÓN
MEJORADA
DISEÑO DE METAMODELO
PIM
IMPLEMENTACIÓN DE HERRAMIENTA DE DIAGRAMACIÓN
EVALUACIÓN DE HERRAMIENTA DE DIAGRAMACIÓN
METAMODELO DE CLASES UML 2.0
DE MOSKITTDEFINICIÓN DE GUÍAS DE DERIVACIÓN
GUÍAS DE DERIVACIÓN
(PIM)
REGLAS DE TRANSFORMACIÓN
(PSM)
ESPECIFICACIÓN LENGUAJE
ATL MÓDULO DE TRANSFORMACIÓN
DE MODELOS EN MOSKITT
MÓDULO DE TRANSFORMACIÓN DE MODELOS MEJ.
DISEÑO DE METAMODELO PSM
EN UML 2.0
DESARROLLO ITERATIVO
INCREMENTAL
DESARROLLO ITERATIVO
INCREMENTAL EVALUACIÓN DE MÓDULO DE
TRANSFORMACIÓN
ANÁLISIS ONTOLÓGICO DEL
MÉTODO
ALINEAMIENTO CONCEPTUAL
ANÁLISIS COMUNIC.
ALINEAMIENTO ONTOLÓGICO DE
METAMODELOS PIM
DEFINICIÓN DE REGLAS DE
TRANSFORMACIÓN
IMPLEMENTACIÓM DE REGLAS DE
TRANSFORMACIÓN
ETAPA 1: ADAPTACIÓN DEL ANÁLISIS DE COMUNICACIONES PARA DSDM
FASE 1: ANÁLISIS Y ESPECIFICACIÓN TEÓRICA
FASE 2: DISEÑO E IMPLEMENTACIÓN
ETAPA 2: DEFINICIÓN DE TRANSFORMACIÓN DE MODELOS
FASE 3: ANÁLISIS Y ESPECIFICACIÓN TEÓRICA
FASE 4: DISEÑO E IMPLEMENTACIÓN
GUÍA MÉTOD. (CIM) DEL ANÁLISIS DE
COMUNICACIONES
MARCO CONCEPT. SOBRE SISTEMAS
INFORMACIÓN
METAMODELO PIM ANÁLISIS DE
COMUNICACIONES
METAMODELO EN LENGUAJE ECORE
METAMODELO PSM ANÁLISIS DE
COMUNICACIONES
HERRAMIENTA DE DIAGRAMACIÓN EN
MOSKITT
HERRAMIENTA DE DIAGRAMACIÓN
MEJORADA
DISEÑO DE METAMODELO
PIM
IMPLEMENTACIÓN DE HERRAMIENTA DE DIAGRAMACIÓN
EVALUACIÓN DE HERRAMIENTA DE DIAGRAMACIÓN
METAMODELO DE CLASES UML 2.0
DE MOSKITTDEFINICIÓN DE GUÍAS DE DERIVACIÓN
GUÍAS DE DERIVACIÓN
(PIM)
REGLAS DE TRANSFORMACIÓN
(PSM)
ESPECIFICACIÓN LENGUAJE
ATL MÓDULO DE TRANSFORMACIÓN
DE MODELOS EN MOSKITT
MÓDULO DE TRANSFORMACIÓN DE MODELOS MEJ.
DISEÑO DE METAMODELO PSM
EN UML 2.0
DESARROLLO ITERATIVO
INCREMENTAL
DESARROLLO ITERATIVO
INCREMENTAL EVALUACIÓN DE MÓDULO DE
TRANSFORMACIÓN
ANÁLISIS ONTOLÓGICO DEL
MÉTODO
ALINEAMIENTO CONCEPTUAL
ANÁLISIS COMUNIC.
ALINEAMIENTO ONTOLÓGICO DE
METAMODELOS PIM
DEFINICIÓN DE REGLAS DE
TRANSFORMACIÓN
IMPLEMENTACIÓM DE REGLAS DE
TRANSFORMACIÓN
método
método
SALE 3 SUPPLIER EVALUATES THE ORDER
SALESMAN
SALE 3.1ORDER
IS REJECTED
SALE 1
A CLIENT PLACES
AN ORDER
SALESMAN
SALE 2
SALES MANAGER ASSIGNS SUPPLIER
SALES MANAGER
SALE 5
INSUR. DEPT. CLERK SPECIFIES CLAUSES
INSUR. DEPT. CLERK
SALE 3.2ORDER
IS ACCEPTED
SALE 4
TRANSPORT MNGR ARRANGES LOGISTICS
TRANSP. ASSISTANT
ASSIGNED ORDER
ORDER
ASSIGNMENT
ORDER
LOGISTICS INFO LOGISTICS INFO
INSURANCE INFO
RESPONSE
LOGISTICS INFO
SALE 6
SUPPLIER NOTIFIES THE SHIPPING OF
THE GOODS
SALESMAN
SHIPPING NOTIF.SHIPPING NOTIF.
INSURANCE INFO
RESPONSE
SUPP 2
CLIE 1PROD 2
LOGI 10
RISK 4
SALE 7
SALES MANAGER
SALES MANAGER
SALES MANAGER
TRANSPORTMANAGER
SALES MANAGER
SUPPLIER
CLIENT
CLIENT
SUPPLIER
SUPPLIER
CLIENT
SUPPLIER
INSURANCE DEPTARTMENT
CLERK
LEGEND
PRIMARYACTOR
PRECEDENCE RELATION
COMMUNICATIVE EVENT
“OR” MERGE
PRECEDENT OR SUBSEQUENT EVENT (FROM A DIFFERENT
PROCESS)
IDENTIFIERNAMESUPPORT ACTOR
COMMUNICATIVE INTERACTION
INGOING OUTGOING
SPECIALISED COMMUNICATIVE
EVENT
métodoORDER =< Order number + Request date + Payment type + Client + DESTINATIONS = { DESTINATION = < Address + Person in charge + LINES = { LINE = < Product + Quantity > } > }>
giii
ii
ii
numberdatetextClient
Client addresstext
Productnumber
FIELD OP DOMAIN EXAMPLE VALUE
1035231-08-2009Cash56746163-R, John Papiro J r.
Blvd. Blue, 14A, 2363 ToontownBrayden Hitchcock
ST39455, Rounded scissors box35
LEG
EN
D < + > aggregation{ } iteration[ | ] specialisation
GRAMMATICAL CONSTRUCTS
g generation i input d derivation
INFORMATION ACQUISITION OPERATIONS
ETAPA 1: ADAPTACIÓN DEL ANÁLISIS DE COMUNICACIONES PARA DSDM
FASE 1: ANÁLISIS Y ESPECIFICACIÓN TEÓRICA
FASE 2: DISEÑO E IMPLEMENTACIÓN
ETAPA 2: DEFINICIÓN DE TRANSFORMACIÓN DE MODELOS
FASE 3: ANÁLISIS Y ESPECIFICACIÓN TEÓRICA
FASE 4: DISEÑO E IMPLEMENTACIÓN
GUÍA MÉTOD. (CIM) DEL ANÁLISIS DE
COMUNICACIONES
MARCO CONCEPT. SOBRE SISTEMAS
INFORMACIÓN
METAMODELO PIM ANÁLISIS DE
COMUNICACIONES
METAMODELO EN LENGUAJE ECORE
METAMODELO PSM ANÁLISIS DE
COMUNICACIONES
HERRAMIENTA DE DIAGRAMACIÓN EN
MOSKITT
HERRAMIENTA DE DIAGRAMACIÓN
MEJORADA
DISEÑO DE METAMODELO
PIM
IMPLEMENTACIÓN DE HERRAMIENTA DE DIAGRAMACIÓN
EVALUACIÓN DE HERRAMIENTA DE DIAGRAMACIÓN
METAMODELO DE CLASES UML 2.0
DE MOSKITTDEFINICIÓN DE GUÍAS DE DERIVACIÓN
GUÍAS DE DERIVACIÓN
(PIM)
REGLAS DE TRANSFORMACIÓN
(PSM)
ESPECIFICACIÓN LENGUAJE
ATL MÓDULO DE TRANSFORMACIÓN
DE MODELOS EN MOSKITT
MÓDULO DE TRANSFORMACIÓN DE MODELOS MEJ.
DISEÑO DE METAMODELO PSM
EN UML 2.0
DESARROLLO ITERATIVO
INCREMENTAL
DESARROLLO ITERATIVO
INCREMENTAL EVALUACIÓN DE MÓDULO DE
TRANSFORMACIÓN
ANÁLISIS ONTOLÓGICO DEL
MÉTODO
ALINEAMIENTO CONCEPTUAL
ANÁLISIS COMUNIC.
ALINEAMIENTO ONTOLÓGICO DE
METAMODELOS PIM
DEFINICIÓN DE REGLAS DE
TRANSFORMACIÓN
IMPLEMENTACIÓM DE REGLAS DE
TRANSFORMACIÓN
tecnología
tecnología
tecnología
tecnología
ETAPA 1: ADAPTACIÓN DEL ANÁLISIS DE COMUNICACIONES PARA DSDM
FASE 1: ANÁLISIS Y ESPECIFICACIÓN TEÓRICA
FASE 2: DISEÑO E IMPLEMENTACIÓN
ETAPA 2: DEFINICIÓN DE TRANSFORMACIÓN DE MODELOS
FASE 3: ANÁLISIS Y ESPECIFICACIÓN TEÓRICA
FASE 4: DISEÑO E IMPLEMENTACIÓN
GUÍA MÉTOD. (CIM) DEL ANÁLISIS DE
COMUNICACIONES
MARCO CONCEPT. SOBRE SISTEMAS
INFORMACIÓN
METAMODELO PIM ANÁLISIS DE
COMUNICACIONES
METAMODELO EN LENGUAJE ECORE
METAMODELO PSM ANÁLISIS DE
COMUNICACIONES
HERRAMIENTA DE DIAGRAMACIÓN EN
MOSKITT
HERRAMIENTA DE DIAGRAMACIÓN
MEJORADA
DISEÑO DE METAMODELO
PIM
IMPLEMENTACIÓN DE HERRAMIENTA DE DIAGRAMACIÓN
EVALUACIÓN DE HERRAMIENTA DE DIAGRAMACIÓN
METAMODELO DE CLASES UML 2.0
DE MOSKITTDEFINICIÓN DE GUÍAS DE DERIVACIÓN
GUÍAS DE DERIVACIÓN
(PIM)
REGLAS DE TRANSFORMACIÓN
(PSM)
ESPECIFICACIÓN LENGUAJE
ATL MÓDULO DE TRANSFORMACIÓN
DE MODELOS EN MOSKITT
MÓDULO DE TRANSFORMACIÓN DE MODELOS MEJ.
DISEÑO DE METAMODELO PSM
EN UML 2.0
DESARROLLO ITERATIVO
INCREMENTAL
DESARROLLO ITERATIVO
INCREMENTAL EVALUACIÓN DE MÓDULO DE
TRANSFORMACIÓN
ANÁLISIS ONTOLÓGICO DEL
MÉTODO
ALINEAMIENTO CONCEPTUAL
ANÁLISIS COMUNIC.
ALINEAMIENTO ONTOLÓGICO DE
METAMODELOS PIM
DEFINICIÓN DE REGLAS DE
TRANSFORMACIÓN
IMPLEMENTACIÓM DE REGLAS DE
TRANSFORMACIÓN
método
métodoORDER =
< Order number +
Request date +
Payment type +
Client +
DESTINATIONS =
{ DESTINATION =
< Address +
Person in charge +
LINES =
{ LINE =
< Product +
Price +
Quantity > } > }>
number
date
text
Client
Client address
Product
Money
Number
FIELD DOMAIN
new_client new
Clie1_register_client
VAT_numberclient_nametelephoneregistration_date
CLIENT
0:M D clientaddresses
1:1 S client
client_clientaddress
new_address new
address_idaddresspost_codecity
CLIENTADDRESS
new_address new
address_idaddresspost_codecity
PRODUCT
new_order new
Sale1_place_order
order_numberrequest_datepayment_type
CLIENTORDER
new_destination new
destination_idperson_in_charge
DESTINATION
new_line new
line_idpricequantity
LINE
0:M Ddestinations
1:1 S clientorder
clientorder_destination
0:M D orders
1:1 S clientclient_clientorder
0:M D lines
1:1 S destinationdestination_line
1:1 S product
0:M D linesline_product
0:M D destinations
1:1 S address
clientaddress_destination
método
new_client new
Clie1_register_client
VAT_numberclient_nametelephoneregistration_date
CLIENT
0:M D clientaddresses
1:1 S client
client_clientaddress
new_address new
address_idaddresspost_codecity
CLIENTADDRESS
new_address new
address_idaddresspost_codecity
PRODUCT
new_order new
Sale1_place_order
order_numberrequest_datepayment_type
CLIENTORDER
new_destination new
destination_idperson_in_charge
DESTINATION
new_line new
line_idpricequantity
LINE
0:M Ddestinations
1:1 S clientorder
clientorder_destination
0:M D orders
1:1 S clientclient_clientorder
0:M D lines
1:1 S destinationdestination_line
1:1 S product
0:M D linesline_product
0:M D destinations
1:1 S address
clientaddress_destination
ASSIGNMENT =
< Order +
Assignment date +
Supplier +
>
FIELD DOMAIN
Client order
Supplier
date
new_order new
Sale1_place_orderset_assignment_date int
ins_supplier shared int
del_supplier shared int
SALE2_ASSIGN_SUPPLIER
order_numberrequest_datepayment_type
assignment_date
CLIENTORDER
new_order new
Sale1_place_order
order_numberrequest_datepayment_type
Supp2_new_supplier new
supplier_codesupplier_nameVAT_numbertelephoneaddresspost_codecityregistration_date
SUPPLIER
ins_supplier shared int
del_supplier shared int
0:1 D supplier
0:M D clientorders
clientorder_supplier
métodoORDER =< Order number + Request date + Payment type + Client + DESTINATIONS = { DESTINATION = < Address + Person in charge + LINES = { LINE = < Product + Price + Quantity + Amount > } + > } Total >
giii
ii
iiid
d
AutonumericDateString [30]Client
Client addressString [70]
ProductRealNatReal
Real
FIELD OP DOMAIN NULL
today()
Product.Price
:Price*:Quantity
Sum(:Amount)
INITIALISATION
yesyesyesyes
yesyes
yesyesyesno
no
LEG
EN
D <+> aggregation{ } iteration[ | ] specialisation
GRAMMATICAL CONSTRUCTS
g generation i input d derivation
INFORMATION ACQUISITION OPERATIONS
REQUESTED
nonoyesno
noyes
nononono
no
TYPE
ConstantConstantVariableConstant
ConstantVariable
ConstantConstantVariableDerived
Derived
ETAPA 1: ADAPTACIÓN DEL ANÁLISIS DE COMUNICACIONES PARA DSDM
FASE 1: ANÁLISIS Y ESPECIFICACIÓN TEÓRICA
FASE 2: DISEÑO E IMPLEMENTACIÓN
ETAPA 2: DEFINICIÓN DE TRANSFORMACIÓN DE MODELOS
FASE 3: ANÁLISIS Y ESPECIFICACIÓN TEÓRICA
FASE 4: DISEÑO E IMPLEMENTACIÓN
GUÍA MÉTOD. (CIM) DEL ANÁLISIS DE
COMUNICACIONES
MARCO CONCEPT. SOBRE SISTEMAS
INFORMACIÓN
METAMODELO PIM ANÁLISIS DE
COMUNICACIONES
METAMODELO EN LENGUAJE ECORE
METAMODELO PSM ANÁLISIS DE
COMUNICACIONES
HERRAMIENTA DE DIAGRAMACIÓN EN
MOSKITT
HERRAMIENTA DE DIAGRAMACIÓN
MEJORADA
DISEÑO DE METAMODELO
PIM
IMPLEMENTACIÓN DE HERRAMIENTA DE DIAGRAMACIÓN
EVALUACIÓN DE HERRAMIENTA DE DIAGRAMACIÓN
METAMODELO DE CLASES UML 2.0
DE MOSKITTDEFINICIÓN DE GUÍAS DE DERIVACIÓN
GUÍAS DE DERIVACIÓN
(PIM)
REGLAS DE TRANSFORMACIÓN
(PSM)
ESPECIFICACIÓN LENGUAJE
ATL MÓDULO DE TRANSFORMACIÓN
DE MODELOS EN MOSKITT
MÓDULO DE TRANSFORMACIÓN DE MODELOS MEJ.
DISEÑO DE METAMODELO PSM
EN UML 2.0
DESARROLLO ITERATIVO
INCREMENTAL
DESARROLLO ITERATIVO
INCREMENTAL EVALUACIÓN DE MÓDULO DE
TRANSFORMACIÓN
ANÁLISIS ONTOLÓGICO DEL
MÉTODO
ALINEAMIENTO CONCEPTUAL
ANÁLISIS COMUNIC.
ALINEAMIENTO ONTOLÓGICO DE
METAMODELOS PIM
DEFINICIÓN DE REGLAS DE
TRANSFORMACIÓN
IMPLEMENTACIÓM DE REGLAS DE
TRANSFORMACIÓN
tecnología
tecnología
gracias
Bibliografía• España, S., A. González, and Ó. Pastor, Communication Analysis: a Requirements
Engineering method for information systems. In: van Eck, P., Gordijn, J., Wieringa, R.W. (eds.) CAiSE'09. LNCS, vol. 5565, pp. 530-545. Springer (2009)
• España, S., Condori-Fernandez, N., González, A. Pastor, Ó.: An empirical comparative evaluation of requirements engineering methods. J. Braz. Comp. Soc. 16(1), pp. 3-19 (2010)
• González, A., España, S., Pastor, Ó.: Towards a communicational perspective for enterprise Information Systems modeling. In Stirna, J., Persson, A. (eds.) PoEM 2008. LNBIP, vol.15, pp. 62-76. Springer (2008)
• González, A., España, S., Pastor, Ó.: Unity criteria for Business Process Modelling: A theoretical argumentation for a Software Engineering recurrent problem. In 3rd International Conference on Research Challenges in Information Science. pp. 173-182. IEEE (2009)
• Ruiz, M., González, A., España, S., Pastor, Ó.: Análisis de Comunicaciones como un enfoque de requisitos para el desarrollo dirigido por modelos (in Spanish). In: VII Taller sobre Desarrollo de Software Dirigido por Modelos (DSDM 2010), pp. 70-77 (2010)