# Optimizing Distributed Resource Allocation using Epistemic Game Theory: A Model-driven Engineering Approach

### Fazle Rabbi, Lars Michael Kristensen, Yngve Lamo

#### 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.

#### References

- Alanen, M. and Porres, I. (2003). Difference and Union of Models, pages 2-17. Springer Berlin Heidelberg, Berlin, Heidelberg.
- Bak, K., Diskin, Z., Antkiewicz, M., Czarnecki, K., and Wasowski, A. (2016). Clafer: unifying class and feature modeling. Software and System Modeling, 15(3):811-845.
- Barr, M. and Wells, C., editors (1995). Category Theory for Computing Science, 2nd Ed. Prentice Hall International (UK) Ltd., Hertfordshire, UK.
- De Moura, L. and Bjørner, N. (2008). Z3: An e fficient smt solver. In Proceedings of the Theory and Practice of Software, 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS'08/ETAPS'08, pages 337-340, Berlin, Heidelberg. Springer-Verlag.
- Diskin, Z. (2011). Model Synchronization: Mappings, Tiles, and Categories, pages 92-165. Springer Berlin Heidelberg, Berlin, Heidelberg.
- Diskin, Z. and Wolter, U. (2008). A diagrammatic logic for object-oriented visual modeling. Electronic Notes in Theoretical Computer Science, 203(6):19 - 41. Proceedings of the Second Workshop on ACCAT, 2007.
- Diskin, Z., Xiong, Y., and Czarnecki, K. (2010). Specifying overlaps of heterogeneous models for global consistency checking. In Proceedings of the First International Workshop on Model-Driven Interoperability, MDI 7810, pages 42-51, NY, USA. ACM.
- Ehrig, H., Ehrig, K., Prange, U., and Taentzer, G. (2006). Fundamentals of Algebraic Graph Transformation. Monographs in Theoretical Computer Science. Springer.
- Fiadeiro, J. L. and Maibaum, T. (1995). Interconnecting formalisms: Supporting modularity, reuse and incrementality. SIGSOFT Softw. Eng. Notes, 20(4):72-80.
- Han, P. K., Klein, W. M., and Arora, N. K. (2011). Varieties of uncertainty in health care: A conceptual taxonomy. Medical decision making: an international journal of the Society for Medical Decision Making, 31(6):828-838.
- Jackson, D. (2002). Alloy: a lightweight object modelling notation. ACM Trans. Softw. Eng. Methodol., 11(2):256-290.
- Jussien, N., Rochart, G., and Lorca, X. (2008). Choco: an Open Source Java Constraint Programming Library. In CPAIOR'08 Workshop on Open-Source Software for Integer and Contraint Programming (OSSICP'08), pages 1-10, Paris, France, France.
- König, H. and Diskin, Z. (2016). Advanced local checking of global consistency in heterogeneous multimodeling. In Wasowski, A. and Lönn, H., editors, Modelling Foundations and Applications - 12th European Conference, ECMFA'16/STAF'16, volume 9764 of LNCS, pages 19-35. Springer.
- Lambers, L., Ehrig, H., Prange, U., and Orejas, F. (2008). Embedding and Confluence of Graph Transformations with Negative Application Conditions, pages 162- 177. Springer Berlin Heidelberg.
- Lamo, Y., Mantz, F., Rutle, A., and de Lara, J. (2013). A declarative and bidirectional model transformation approach based on graph co-spans. In Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming, PPDP 7813, pages 1-12, NY, USA. ACM.
- Mantz, F. (2014). Coupled Transformations of Graph Structures applied to Model Migration. PhD thesis, Department of Mathematics and Informatics, PhilippsUniversität Marburg, Germany.
- Perea, A. (2012). Epistemic Game Theory: Reasoning and Choice. Cambridge University Press, 1 edition.
- Perea, A. (2014). Fron classical to epistemic game theory. International Game Theory Review, 16(01):1440001.
- Pinelle, D. and Gutwin, C. (2006). Loose coupling and healthcare organizations: Deployment strategies for groupware. Comput. Supported Coop. Work, 15(5- 6):537-572.
- Rabbi, F., Lamo, Y., and MacCaull, W. (2014). Coordination of multiple metamodels, with application to healthcare systems. In 1st International Workshop on (Meta)modelling for Healthcare Systems (MMHS), 2014, volume 37 of Procedia Computer Science, pages 473-480. Elsevier.
- Rabbi, F., Lamo, Y., and Yu, I. C. (2016a). Towards a categorical approach for meta-modelling epistemic game theory. In Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, pages 57-64. ACM.
- Rabbi, F., Lamo, Y., Yu, I. C., and Kristensen, L. M. (2015). Towards a Multi Metamodelling Approach for Developing Distributed Healthcare Applications. . NIK: Norsk Informatikkonferanse, ISSN: 1892-0721.
- Rabbi, F., Lamo, Y., Yu, I. C., and Kristensen, L. M. (2016b). WebDPF: A web-based metamodelling and model transformation environment. In MODELSWARD 2016 - Proceedings of the 4rd International Conference on Model-Driven Engineering and Software Development, Rome, Italy, 19-21 February, 2016., pages 87-98. SciTePress.
- Rossini, A., de Lara, J., Guerra, E., Rutle, A., and Lamo, Y. (2012). A graph transformation-based semantics for deep metamodelling. In Proceedings of the 4th International Conference on Applications of Graph Transformations with Industrial Relevance, AGTIVE'11, pages 19-34. Springer-Verlag.
- Rutle, A. (2010). Diagram Predicate Framework: A Formal Approach to MDE. PhD thesis, Department of Informatics, University of Bergen, Norway.
- Wang, X., Rutle, A., and Lamo, Y. (2015). Towards user-friendly and efficient analysis with alloy. In Proceedings of the 12th Workshop on Model-Driven Engineering, Verification and Validation, MoDeVVa@MoDELS 2015, volume 1514 of CEUR Workshop Proceedings, pages 28-37. CEURWS.org.

#### Paper Citation

#### in Harvard Style

Rabbi F., Kristensen L. and Lamo Y. (2017). **Optimizing Distributed Resource Allocation using Epistemic Game Theory: A Model-driven Engineering Approach** . In *Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,* ISBN 978-989-758-210-3, pages 41-52. DOI: 10.5220/0006121400410052

#### in Bibtex Style

@conference{modelsward17,

author={Fazle Rabbi and Lars Michael Kristensen and Yngve Lamo},

title={Optimizing Distributed Resource Allocation using Epistemic Game Theory: A Model-driven Engineering Approach},

booktitle={Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},

year={2017},

pages={41-52},

publisher={SciTePress},

organization={INSTICC},

doi={10.5220/0006121400410052},

isbn={978-989-758-210-3},

}

#### in EndNote Style

TY - CONF

JO - Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,

TI - Optimizing Distributed Resource Allocation using Epistemic Game Theory: A Model-driven Engineering Approach

SN - 978-989-758-210-3

AU - Rabbi F.

AU - Kristensen L.

AU - Lamo Y.

PY - 2017

SP - 41

EP - 52

DO - 10.5220/0006121400410052