a trading-based knowledge representation metamodel for management information system development

Applied Computing GroupUniversity of Almería, SPAIN

SISTEDES - XVI Jornadas de Ingeniería del Software y Bases de DatosUniversity of A Coruña (SPAIN), 5-7th September, 2011

A T

KR

Met

amod

el fo

r MIS

Dev

elop

men

t1

SISTEDES - JISBD, A Coruña5-7th September, 2011

A Trading-Based Knowledge Representation Metamodel for Management Information

System Development

José A. Asensio1, Luis Iribarne1, Nicolás Padilla1,Cristina Vicente-Chicote2

1Applied Computing Group, University of Almería, SPAIN{jacortes, luis.iribarne, npadilla}@ual.es

2 Dept. of Information and Communication Technologies, Technical University of Cartagena, [email protected]



A T

KR

Met

amod

el fo

r MIS

Dev

elop

men

t2

Index

• Context

• Proposal

• Planning

• Conclusions



A T

KR

Met

amod

el fo

r MIS

Dev

elop

men

t3

Context

• MIS facilitate information retrieval and decision-making, allowing cooperative work.

• MIS design requires:– a common vocabulary, and– a certain capacity to mediate objects.



A T

KR

Met

amod

el fo

r MIS

Dev

elop

men

t4

Context

• MIS facilitates information retrieval and decision-making, allowing cooperative work.

• MIS design requires:– a common vocabulary ► Ontology– a certain capacity to mediate objects.



A T

KR

Met

amod

el fo

r MIS

Dev

elop

men

t5

Context

• MIS facilitates information retrieval and decision-making, allowing cooperative work.

• MIS design requires:– a common vocabulary ► Ontologies– a certain capacity to mediate objects ►

► Trader



A T

KR

Met

amod

el fo

r MIS

Dev

elop

men

t6

Context

• The use of traders is proposed to improve the interoperability of the system components:– Trader acts as intermediary between objects.– Trader improves querying and information

retrieval (with the use of ontologies).



A T

KR

Met

amod

el fo

r MIS

Dev

elop

men

t7

Context

• The use of traders is proposed to improve the interoperability of the system components:– Trader acts as intermediary between objects.– Trader improves querying and information

retrieval (with the use of ontologies).▼

Trading-based KnowledgeRepresentation Systems



A T

KR

Met

amod

el fo

r MIS

Dev

elop

men

t8

Proposal: TKR Metamodel



A T

KR

Met

amod

el fo

r MIS

Dev

elop

men

t9




A T

KR

Met

amod

el fo

r MIS

Dev

elop

men

t10




A T

KR

Met

amod

el fo

r MIS

Dev

elop

men

t11




A T

KR

Met

amod

el fo

r MIS

Dev

elop

men

t12




A T

KR

Met

amod

el fo

r MIS

Dev

elop

men

t13




A T

KR

Met

amod

el fo

r MIS

Dev

elop

men

t14




A T

KR

Met

amod

el fo

r MIS

Dev

elop

men

t15




A T

KR

Met

amod

el fo

r MIS

Dev

elop

men

t16




A T

KR

Met

amod

el fo

r MIS

Dev

elop

men

t17




A T

KR

Met

amod

el fo

r MIS

Dev

elop

men

t18




A T

KR

Met

amod

el fo

r MIS

Dev

elop

men

t19




A T

KR

Met

amod

el fo

r MIS

Dev

elop

men

t20




A T

KR

Met

amod

el fo

r MIS

Dev

elop

men

t21

Proposal: GMF Tool



A T

KR

Met

amod

el fo

r MIS

Dev

elop

men

t22

Proposal: GMF Tool



A T

KR

Met

amod

el fo

r MIS

Dev

elop

men

t23

Proposal: GMF Tool



A T

KR

Met

amod

el fo

r MIS

Dev

elop

men

t24

Proposal: GMF Tool



A T

KR

Met

amod

el fo

r MIS

Dev

elop

men

t25

Proposal: GMF Tool



A T

KR

Met

amod

el fo

r MIS

Dev

elop

men

t26

Proposal: GMF Tool



A T

KR

Met

amod

el fo

r MIS

Dev

elop

men

t27

Proposal: GMF Tool



A T

KR

Met

amod

el fo

r MIS

Dev

elop

men

t28

Proposal: GMF Tool



A T

KR

Met

amod

el fo

r MIS

Dev

elop

men

t29

Proposal: OCL Constraints

• rule #1:

context InformationSystem inv:self.hasNode -> exists(n | n.hasTradingModule -> size() > 0) and self.hasNode -> exists(n | n.hasProcessingModule -> size() > 0)

• rule #2:

context TradingModule inv:self.isFederatedWith -> forAll(tm | (tm <> self))

• rule #3:

context TradingModule inv:self.isFederatedWith -> notEmpty() implies(self.linkInterface = true) andself.isFederatedWith -> forAll(tm | (tm.linkInterface = true))



A T

KR

Met

amod

el fo

r MIS

Dev

elop

men

t30

Planning

• An implementation repository will be created to store the binary components developed for TKR Systems.

• A configuration definition language will be created to map the design-time components and the reusable binary components.



A T

KR

Met

amod

el fo

r MIS

Dev

elop

men

t31

Planning



A T

KR

Met

amod

el fo

r MIS

Dev

elop

men

t32

Planning



A T

KR

Met

amod

el fo

r MIS

Dev

elop

men

t33

Planning



A T

KR

Met

amod

el fo

r MIS

Dev

elop

men

t34

Planning



A T

KR

Met

amod

el fo

r MIS

Dev

elop

men

t35

Conclusions

• A MDE approach to TKR System design in the context of WMIS has been presented.

• A metamodel and a GMF model editor have been developed to ease it design through a graphical interface.



A T

KR

Met

amod

el fo

r MIS

Dev

elop

men

t36

Conclusions

• As future work, an implementation repository and a configuration definition language will be created to obtain the implementation of the TKR System automatically.



A T

KR

Met

amod

el fo

r MIS

Dev

elop

men

t37 A Trading-Based Knowledge Representation

Metamodel for Management Information System Development

Thank you for your attention!!

Contact: [email protected]

Applied Computing GroupUniversity of Almería, SPAINhttp://www.ual.es/acg

Una Metodología para la Recuperación y Explotación de Información Medioambiental (TIN2010-15588)

Desarrollo de un Agente Web Inteligente de Información Medioambiental (TIC-6114)

a trading-based knowledge representation metamodel for management information system development

Education