Title :
COMOVER: Concurrent model versioning
Author :
Barone, Ivo ; Lucia, Andrea De ; Fasano, Fausto ; Rullo, Esterino ; Scanniello, Giuseppe ; Tortora, Genoveffa
Author_Institution :
Dept. of Math. & Inf., Univ. of Salerno, Salerno
fDate :
Sept. 28 2008-Oct. 4 2008
Abstract :
Concurrent versioning of source code is a common and well-established practice to manage concurrency and consistency within source code repository. Similarly to source code, software models are often the result of cooperative work by different software engineers, that need to update them even concurrently. Unfortunately, modeling tools rarely provide support for concurrency and consistency. On the other hand, the available concurrent versioning tools do not provide an adequate support for software models. In this paper we present COMOVER (COncurrent MOdel VERsioning), a tool that integrates software modeling features with versioning and concurrency management as well as model elements sharing and exchanging.
Keywords :
concurrency control; formal specification; source coding; COMOVER; concurrency management; concurrent model versioning; software modeling; source code repository; Collaborative work; Concurrent computing; Informatics; Mathematical model; Mathematics; Merging; Project management; Software maintenance; Software tools; Unified modeling language;
Conference_Titel :
Software Maintenance, 2008. ICSM 2008. IEEE International Conference on
Conference_Location :
Beijing
Print_ISBN :
978-1-4244-2613-3
Electronic_ISBN :
1063-6773
DOI :
10.1109/ICSM.2008.4658105