State diagrams in UML: A formal semantics using graph transformations

Poly-2,9-methylenefluorene, fully conjugated via 9-methylenefluorene repeating units, has been found to be a useful photoconductor in electrophotographic processes.

[1]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[2]  Hartmut Ehrig,et al.  Introduction to the Algebraic Theory of Graph Grammars (A Survey) , 1978, Graph-Grammars and Their Application to Computer Science and Biology.

[3]  Andrea Maggiolo-Schettini,et al.  Semantics of Full Statecharts Based on Graph Rewriting , 1993, Dagstuhl Seminar on Graph Transformations in Computer Science.

[4]  Gerald W. Both,et al.  Object-oriented analysis and design with applications , 1994 .

[5]  Maria M. Larrondo-Petrie,et al.  Exploring the semantics of UML type structures with Z , 1997 .

[6]  Grzegorz Rozenberg,et al.  Computation Graphs for Actor Grammars , 1993, J. Comput. Syst. Sci..

[7]  Kevin Lano,et al.  Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation , 1997, ECOOP.

[8]  Michael Löwe,et al.  Algebraic Approach to Single-Pushout Graph Transformation , 1993, Theor. Comput. Sci..

[9]  Martin Korff.  Single Pushout Transformation of Equationally Defined Graph Structures with Applications to Actor Systems , 1993, Dagstuhl Seminar on Graph Transformations in Computer Science.

[10]  Martin Gogolla,et al.  Defining Operational Behavior of Object Specifications by Attributed Graph Transformations , 1996, Fundam. Informaticae.

[11]  Kevin Lano,et al.  Enhancing Object-Oriented Methods with Formal Notations , 1996, Theory Pract. Object Syst..

[12]  Francesco Parisi-Presicce.  Single vs. Double Pushout Derivations of Graphs , 1992, WG.

[13]  Jürgen Ebert,et al.  Integration of Z-based Semantics of OO-Notations , 1997, ECOOP Workshops.

[14]  William E. Lorensen,et al.  Object-Oriented Modeling and Design , 1991, TOOLS.

[15]  Ivar Jacobson,et al.  Object-Oriented Software Engineering , 1991, TOOLS.

[16]  Betty H. C. Cheng,et al.  A Formal Semantics for Object Model Diagrams , 1995, IEEE Trans. Software Eng..

[17]  Betty H. C. Cheng,et al.  Formalizing and Integrating the Dynamic Model within OMT , 1997, Proceedings of the (19th) International Conference on Software Engineering.

[18]  Elisa Bertino,et al.  A Formal Representation for State Diagrams in the OMT Methodology , 1996, SOFSEM.