Role of Model Transformation in Method Engineering Export

@incollection{citeulike:2902479, abstract = {This paper discusses two applications of model transformation to method engineering; one is method assembly of diagram based methods and formal methods and the other one is providing formal semantics with meta models by means of the transformation of the meta model descriptions into the formal descriptions. We use Class Diagram to define the meta models, and the models following the meta model can be represented with instance graphs. Thus our model transformation is based on graph grammars. To show and clarify the benefits of model transformation in method engineering, we illustrate the transformation rules and how to transform models. We use two examples; one is a method assembly of Class Diagram and Z and the other one is defining formal semantics of the meta model of Class Diagram.}, author = {Saeki, Motoshi}, citeulike-article-id = {2902479}, citeulike-linkout-0 = {http://dx.doi.org/10.1007/3-540-47961-9_43}, doi = {10.1007/3-540-47961-9_43}, journal = {Advanced Information Systems Engineering}, keywords = {model, transformation, z}, pages = {626--642}, posted-at = {2008-06-17 14:41:16}, priority = {0}, title = {Role of Model Transformation in Method Engineering}, url = {http://dx.doi.org/10.1007/3-540-47961-9_43}, year = {2002} }

TY - CHAP ID - citeulike:2902479 L3 - citeulike-article-id:2902479 N2 - This paper discusses two applications of model transformation to method engineering; one is method assembly of diagram based methods and formal methods and the other one is providing formal semantics with meta models by means of the transformation of the meta model descriptions into the formal descriptions. We use Class Diagram to define the meta models, and the models following the meta model can be represented with instance graphs. Thus our model transformation is based on graph grammars. To show and clarify the benefits of model transformation in method engineering, we illustrate the transformation rules and how to transform models. We use two examples; one is a method assembly of Class Diagram and Z and the other one is defining formal semantics of the meta model of Class Diagram. JF - Advanced Information Systems Engineering EP - 642 TI - Role of Model Transformation in Method Engineering SP - 626 KW - model KW - transformation KW - z AU - Saeki, Motoshi PY - 2002/// UR - http://dx.doi.org/10.1007/3-540-47961-9_43 ER -