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.

Property-based methods for collaborative model development. / Chechik, Marsha; Dalpiaz, Fabiano; Debreceni, Csaba; Horko, Jennifer; Ráth, István; Salay, Rick; Varró, D.

CEUR Workshop Proceedings. Vol. 1511 CEUR-WS, 2015. p. 1-7.

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

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, CEUR-WS, pp. 1-7, 3rd Joint International Workshop on the Globalization of Modeling Languages and the 9th International Workshop on Multi-Paradigm Modeling, GEMOC+MPM 2015, Ottawa, Canada, 9/28/15.
Chechik M, Dalpiaz F, Debreceni C, Horko J, Ráth I, Salay R et al. Property-based methods for collaborative model development. In CEUR Workshop Proceedings. Vol. 1511. CEUR-WS. 2015. p. 1-7
Chechik, Marsha ; Dalpiaz, Fabiano ; Debreceni, Csaba ; Horko, Jennifer ; Ráth, István ; Salay, Rick ; Varró, D. / Property-based methods for collaborative model development. CEUR Workshop Proceedings. Vol. 1511 CEUR-WS, 2015. pp. 1-7
@inproceedings{d4fc368045194e469c38029f4c563035,
title = "Property-based methods for collaborative model development",
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.",
author = "Marsha Chechik and Fabiano Dalpiaz and Csaba Debreceni and Jennifer Horko and Istv{\'a}n R{\'a}th and Rick Salay and D. Varr{\'o}",
year = "2015",
language = "English",
volume = "1511",
pages = "1--7",
booktitle = "CEUR Workshop Proceedings",
publisher = "CEUR-WS",

}

TY - GEN

T1 - Property-based methods for collaborative model development

AU - Chechik, Marsha

AU - Dalpiaz, Fabiano

AU - Debreceni, Csaba

AU - Horko, Jennifer

AU - Ráth, István

AU - Salay, Rick

AU - Varró, D.

PY - 2015

Y1 - 2015

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

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

UR - http://www.scopus.com/inward/record.url?scp=84962486201&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84962486201&partnerID=8YFLogxK

M3 - Conference contribution

VL - 1511

SP - 1

EP - 7

BT - CEUR Workshop Proceedings

PB - CEUR-WS

ER -