%0 Conference Paper %1 liu_04_linking %A Liu, Jing %A Liu, Zhiming %A He, Jifeng %A Li, Xiaoshan %D 2004 %J Software Engineering Conference, 2004. Proceedings. 2004 Australian %K refinement 2004 statecharts _marcia requirements uml %P 329--338 %R 10.1109/ASWEC.2004.1290486 %T Linking UML models of design and requirement %U http://dx.doi.org/10.1109/ASWEC.2004.1290486 %X Both a UML model of requirement and a UML model of a design are defined as a pair of class diagram and a family of sequence diagrams. We then give an unified semantics for models of requirements and designs. We define the consistency between a design class diagram and the interaction diagrams and show how the removal of inconsistency can be treated as a model refinement. We then formally define the correctness of UML model of design with respect to the model of requirement.

@inproceedings{liu_04_linking, abstract = {Both a UML model of requirement and a UML model of a design are defined as a pair of class diagram and a family of sequence diagrams. We then give an unified semantics for models of requirements and designs. We define the consistency between a design class diagram and the interaction diagrams and show how the removal of inconsistency can be treated as a model refinement. We then formally define the correctness of UML model of design with respect to the model of requirement.}, added-at = {2009-02-12T11:08:31.000+0100}, author = {Liu, Jing and Liu, Zhiming and He, Jifeng and Li, Xiaoshan}, biburl = {https://www.bibsonomy.org/bibtex/2751ee47b8baa3d05036b69ddc2fd0165/leonardo}, citeulike-article-id = {890366}, doi = {10.1109/ASWEC.2004.1290486}, interhash = {4c579a85e2d7f67ce8e1140f710db5e8}, intrahash = {751ee47b8baa3d05036b69ddc2fd0165}, journal = {Software Engineering Conference, 2004. Proceedings. 2004 Australian}, keywords = {refinement 2004 statecharts _marcia requirements uml}, pages = {329--338}, posted-at = {2006-10-09 19:29:06}, priority = {3}, timestamp = {2009-02-12T11:08:31.000+0100}, title = {Linking UML models of design and requirement}, url = {http://dx.doi.org/10.1109/ASWEC.2004.1290486}, year = 2004 }