Specifying behavioral semantics of UML diagrams through graph transformations Export

@article{citeulike:2939477, abstract = {The Unified Modeling Language (UML) has been widely accepted as a standard for modeling software systems from various perspectives. The intuitive notations of UML diagrams greatly improve the communication among developers. However, the lack of a formal semantics makes it difficult to automate analysis and verification. This paper offers a graphical yet formal approach to specifying the behavioral semantics of statechart diagrams using graph transformation techniques. It supports many advanced features of statecharts, such as composite states, firing priority, history, junction, and choice. In our approach, a graph grammar is derived automatically from a state machine to summarize the hierarchy of states. Based on the graph grammar, the execution of a set of non-conflict state transitions is interpreted by a sequence of graph transformations. This facilitates verifying a design model against system requirements. To demonstrate our approach, we present a case study on a toll-gate system.}, address = {New York, NY, USA}, author = {Kong, Jun and Zhang, Kang and Dong, Jing and Xu, Dianxiang}, citeulike-article-id = {2939477}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=1497699}, citeulike-linkout-1 = {http://dx.doi.org/10.1016/j.jss.2008.06.030}, citeulike-linkout-2 = {http://linkinghub.elsevier.com/retrieve/pii/S0164121208001593}, citeulike-linkout-3 = {http://www.sciencedirect.com/science/article/B6V0N-4SVKSKM-1/1/092e2d7dc6c883bebab1b3f056d7ab0c}, citeulike-linkout-4 = {http://dx.doi.org/10.1016/j.jss.2008.06.030}, citeulike-linkout-5 = {http://dx.doi.org/http://dx.doi.org/10.1016/j.jss.2008.06.030}, doi = {10.1016/j.jss.2008.06.030}, issn = {0164-1212}, journal = {J. Syst. Softw.}, keywords = {behavior, diagrams, graph, semantics, transformation, uml}, month = {February}, number = {2}, pages = {292--306}, posted-at = {2008-11-19 08:26:19}, priority = {4}, publisher = {Elsevier Science Inc.}, title = {Specifying behavioral semantics of UML diagrams through graph transformations}, url = {http://dx.doi.org/10.1016/j.jss.2008.06.030}, volume = {82}, year = {2008} }

TY - JOUR ID - citeulike:2939477 L3 - citeulike-article-id:2939477 N2 - The Unified Modeling Language (UML) has been widely accepted as a standard for modeling software systems from various perspectives. The intuitive notations of UML diagrams greatly improve the communication among developers. However, the lack of a formal semantics makes it difficult to automate analysis and verification. This paper offers a graphical yet formal approach to specifying the behavioral semantics of statechart diagrams using graph transformation techniques. It supports many advanced features of statecharts, such as composite states, firing priority, history, junction, and choice. In our approach, a graph grammar is derived automatically from a state machine to summarize the hierarchy of states. Based on the graph grammar, the execution of a set of non-conflict state transitions is interpreted by a sequence of graph transformations. This facilitates verifying a design model against system requirements. To demonstrate our approach, we present a case study on a toll-gate system. IS - 2 JF - J. Syst. Softw. SN - 0164-1212 AD - New York, NY, USA EP - 306 TI - Specifying behavioral semantics of UML diagrams through graph transformations PB - Elsevier Science Inc. VL - 82 SP - 292 KW - behavior KW - diagrams KW - graph KW - semantics KW - transformation KW - uml AU - Kong, Jun AU - Zhang, Kang AU - Dong, Jing AU - Xu, Dianxiang PY - 2008/02// UR - http://dx.doi.org/10.1016/j.jss.2008.06.030 ER -