From Sequence Diagrams to State Machines by Graph Transformation
暂无分享,去创建一个
[1] Hartmut Ehrig,et al. Conflict Detection for Graph Transformation with Negative Application Conditions , 2006, ICGT.
[2] Arend Rensink. Model Driven Architecture - Foundations and Applications, 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings , 2009, ECMDA-FA.
[3] Amir Pnueli,et al. Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements , 2005, Formal Methods in Software and Systems Modeling.
[4] Jacques Klein,et al. Weaving Multiple Aspects in Sequence Diagrams , 2007, LNCS Trans. Aspect Oriented Softw. Dev..
[5] Reiko Heckel,et al. Confluence of Typed Attributed Graph Transformation Systems , 2002, ICGT.
[6] Roy Grønmo,et al. A Collection Operator for Graph Transformation , 2009, ICMT@TOOLS.
[7] Manfred Nagl,et al. Applications of Graph Transformations with Industrial Relevance, Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers , 2008, Applications of Graph Transformations with Industrial Relevance.
[8] Gabriele Taentzer,et al. AGG: A Graph Transformation Environment for Modeling and Validation of Software , 2003, AGTIVE.
[9] Perdita Stevens. A Simple Game-Theoretic Approach to Checkonly QVT Relations , 2009, ICMT@TOOLS.
[10] Roy Grønmo. Using Concrete Syntax in Graph-based Model Transformations , 2010 .
[11] Manfred Broy,et al. From MSCs to Statecharts , 1998, DIPES.
[12] Ketil Stølen,et al. The Pragmatics of STAIRS , 2005, FMCO.
[13] Jean-Marc Jézéquel,et al. Revisiting statechart synthesis with an algebraic approach , 2004, Proceedings. 26th International Conference on Software Engineering.
[14] Roy Grønmo,et al. Aspect Diagrams for UML Activity Models , 2007, AGTIVE.
[15] Roy Grønmo,et al. From UML 2 Sequence Diagrams to State Machines by Graph Transformation , 2011, J. Object Technol..
[16] Hans-Jörg Kreowski,et al. Formal Methods in Software and Systems Modeling, Essays Dedicated to Hartmut Ehrig, on the Occasion of His 60th Birthday , 2005, Formal Methods in Software and Systems Modeling.
[17] Øystein Haugen,et al. Refining UML Interactions with Underspecification and Nondeterminism , 2005, Nord. J. Comput..
[18] Birger Møller-Pedersen,et al. JavaFrame: Framework for Java Enabled Modelling , 2000 .
[19] João Araújo,et al. MATA: A Unified Approach for Composing UML Aspect Models Based on Graph Transformation , 2009, LNCS Trans. Aspect Oriented Softw. Dev..
[20] Jean-Marc Jézéquel,et al. Transactions on Aspect-Oriented Software Development VII , 2009 .
[21] Johann Schumann,et al. Generating statechart designs from scenarios , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.
[22] Mass Soldal Lund,et al. Operational analysis of sequence diagram specifications , 2007 .
[23] Bjørn Brændshøi. Consistency Checking UML Interactions and State Machines , 2008 .
[24] Roy Grønmo,et al. A Semantics-Based Aspect Language for Interactions with the Arbitrary Events Symbol , 2008, ECMDA-FA.