Authors:
Fazle Rabbi
1
;
Lars Michael Kristensen
2
and
Yngve Lamo
2
Affiliations:
1
Bergen University College and University of Oslo, Norway
;
2
Bergen University College, Norway
Keyword(s):
Metamodelling, Epistemic Game Theory, Model Transformation, Optimization, Distributed Systems.
Related
Ontology
Subjects/Areas/Topics:
Domain-Specific Modeling and Domain-Specific Languages
;
Hybrid Multi-Modeling Approaches
;
Languages, Tools and Architectures
;
MetaModeling
;
Methodologies, Processes and Platforms
;
Model Transformation
;
Model-Driven Architecture
;
Model-Driven Software Development
;
Models
;
Paradigm Trends
;
Reasoning about Models
;
Software Engineering
Abstract:
Distributed systems modelling often involves a set of heterogeneous models where each model specifies a set of local constraints capturing a specific view of the system. In real life, distributed systems are often loosely connected and interdependencies are not defined into their software model. This limits the scope of optimization of distributed resources. In this paper, we merge heterogeneous models of distributed systems and articulate distributed resource constraints via inter-metamodel constraints. We apply model-driven engineering and use model transformation rules to construct an epistemic game theory model for the purpose of optimizing distributed resource allocation. Since the application of transformation rules normally do not guarantee the satisfaction of constraints when applied on a model, it requires a conformance checking which is an expensive operation. To overcome this problem, we introduce the concept of compliant rule and coordinate with other rules for efficient
model transformation.
(More)