Property-based methods for collaborative model development

Marsha Chechik, Fabiano Dalpiaz, Csaba Debreceni, Jennifer Horko, István Ráth, Rick Salay, D. Varró

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Citations (Scopus)

Abstract

Large-scale software projects are often faced with the challenge of enabling the high degree of collaborative and concurrent development required to meet the aggressive delivery schedules while still maintaining a high standard of system correctness and safety. While Model-Driven Engineering (MDE) can be effective in accelerating development, traditional approaches to addressing the above challenges are designed for code, and are not directly applicable to models. In this paper, we propose a novel approach to addressing the problem of model-based collaborative development using property-based techniques. We illustrate our proposals and outline the challenges to realizing them.

Original languageEnglish
Title of host publicationCEUR Workshop Proceedings
PublisherCEUR-WS
Pages1-7
Number of pages7
Volume1511
Publication statusPublished - 2015
Event3rd Joint International Workshop on the Globalization of Modeling Languages and the 9th International Workshop on Multi-Paradigm Modeling, GEMOC+MPM 2015 - Ottawa, Canada
Duration: Sep 28 2015 → …

Other

Other3rd Joint International Workshop on the Globalization of Modeling Languages and the 9th International Workshop on Multi-Paradigm Modeling, GEMOC+MPM 2015
CountryCanada
CityOttawa
Period9/28/15 → …

ASJC Scopus subject areas

  • Computer Science(all)

Cite this

Chechik, M., Dalpiaz, F., Debreceni, C., Horko, J., Ráth, I., Salay, R., & Varró, D. (2015). Property-based methods for collaborative model development. In CEUR Workshop Proceedings (Vol. 1511, pp. 1-7). CEUR-WS.