In an incremental specification development process, operations are used to model dynamic aspects and can be refined gradually. We propose four kinds of operation refinement in order to control modifications when developing and refactoring UML specifications. Each refinement is described with its properties and illustrated by an example, showing which verifications can be done, using the B formal method.
%0 Journal Article
%1 benammar_09_incremental
%A Ammar, Boulbaba Ben
%A Bhiri, Mohamed
%A Souqui`eres, Jeanine
%D 2008
%J Innovations in Systems and Software Engineering
%K 2008 _hardcopy refinement incremental uml
%N 3
%P 259--266
%R http://dx.doi.org/10.1007/s11334-008-0056-1
%T Incremental development of UML specifications using operation refinements
%U http://dx.doi.org/10.1007/s11334-008-0056-1
%V 4
%X In an incremental specification development process, operations are used to model dynamic aspects and can be refined gradually. We propose four kinds of operation refinement in order to control modifications when developing and refactoring UML specifications. Each refinement is described with its properties and illustrated by an example, showing which verifications can be done, using the B formal method.
@article{benammar_09_incremental,
abstract = {In an incremental specification development process, operations are used to model dynamic aspects and can be refined gradually. We propose four kinds of operation refinement in order to control modifications when developing and refactoring UML specifications. Each refinement is described with its properties and illustrated by an example, showing which verifications can be done, using the B formal method.},
added-at = {2009-02-11T20:11:51.000+0100},
author = {Ammar, Boulbaba Ben and Bhiri, Mohamed and Souqui`{e}res, Jeanine},
biburl = {https://www.bibsonomy.org/bibtex/20d5cc1f8e16bde105f24b98c3aab32ee/leonardo},
citeulike-article-id = {3140499},
doi = {http://dx.doi.org/10.1007/s11334-008-0056-1},
interhash = {9312769c403262741841a925b66d239b},
intrahash = {0d5cc1f8e16bde105f24b98c3aab32ee},
journal = {Innovations in Systems and Software Engineering},
keywords = {2008 _hardcopy refinement incremental uml},
month = {October},
number = 3,
pages = {259--266},
posted-at = {2008-08-20 14:59:03},
priority = {3},
timestamp = {2009-02-11T20:11:51.000+0100},
title = {Incremental development of UML specifications using operation refinements},
url = {http://dx.doi.org/10.1007/s11334-008-0056-1},
volume = 4,
year = 2008
}