Extending a graphic modeling language to support partial and evolutionary specification Export

@inproceedings{xia04, abstract = {The notion of partial and evolutionary specification has gained attention both in research and industry in the last years. While many people regard this just as a process issue, we are convinced that it is as well a language problem. Unfortunately, UML is not expressive enough to deal with evolutionary information in the system. In this paper, we propose an extension to a graphic modeling language called ADORA which is developed in our research group. We conservatively extend the semantics of some ADORA constructs so that intentional incompleteness can be expressed in the language and define a calculus for refining such specifications. With the help of these extensions, evolutionary specifications can be written in a controlled and systematic way. As the language and its extensions are formally defined, the consistency of evolutionary refinements can be checked mechanically by a tool.}, address = {Busan, Korea}, author = {Xia, Y. and Glinz, M.}, booktitle = {Asia-Pacific Software Engineering Conference}, citeulike-article-id = {836874}, citeulike-linkout-0 = {http://dx.doi.org/10.1109/APSEC.2004.51}, citeulike-linkout-1 = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1371901}, day = {30--3}, doi = {10.1109/APSEC.2004.51}, journal = {APSEC 04}, keywords = {complexity, evolution, model, specification}, month = {December}, pages = {18--27}, posted-at = {2006-09-08 22:05:00}, priority = {5}, title = {Extending a graphic modeling language to support partial and evolutionary specification}, url = {http://dx.doi.org/10.1109/APSEC.2004.51}, year = {2004} }

TY - CONF ID - xia04 L3 - citeulike-article-id:836874 N2 - The notion of partial and evolutionary specification has gained attention both in research and industry in the last years. While many people regard this just as a process issue, we are convinced that it is as well a language problem. Unfortunately, UML is not expressive enough to deal with evolutionary information in the system. In this paper, we propose an extension to a graphic modeling language called ADORA which is developed in our research group. We conservatively extend the semantics of some ADORA constructs so that intentional incompleteness can be expressed in the language and define a calculus for refining such specifications. With the help of these extensions, evolutionary specifications can be written in a controlled and systematic way. As the language and its extensions are formally defined, the consistency of evolutionary refinements can be checked mechanically by a tool. JF - APSEC 04 AD - Busan, Korea EP - 27 TI - Extending a graphic modeling language to support partial and evolutionary specification T2 - Asia-Pacific Software Engineering Conference SP - 18 KW - complexity KW - evolution KW - model KW - specification AU - Xia, Y AU - Glinz, M PY - 2004/12/30--3/ UR - http://dx.doi.org/10.1109/APSEC.2004.51 ER -