메뉴 건너뛰기




Volumn 213, Issue 1, 2008, Pages 3-21

An Efficient Solution for Model Checking Graph Transformation Systems

Author keywords

AGG; Attributed Type Graphs; Bogor; Layered Graph Transformations; Model Checking

Indexed keywords

GRAPH THEORY; MATHEMATICAL TRANSFORMATIONS;

EID: 43549097319     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2008.04.071     Document Type: Article
Times cited : (43)

References (29)
  • 1
    • 43549118431 scopus 로고    scopus 로고
    • AGG. tfs.cs.tu-berlin.de/agg/
    • AGG
  • 2
    • 35048896452 scopus 로고    scopus 로고
    • Baldan, P., Corradini, A., and König, B., "Verifying Finite-State Graph Grammars: An Unfolding-Based Approach", In Proc. of International Conference on Concurrency Theory (CONCUR), 83-98, 2004
    • Baldan, P., Corradini, A., and König, B., "Verifying Finite-State Graph Grammars: An Unfolding-Based Approach", In Proc. of International Conference on Concurrency Theory (CONCUR), 83-98, 2004
  • 3
    • 84937208016 scopus 로고    scopus 로고
    • Baldan, P. and König, B., "Approximating the Behaviour of Graph Transformation Systems", In Proc. of First International Conference on Graph Transformation (ICGT), 14-29, 2002
    • Baldan, P. and König, B., "Approximating the Behaviour of Graph Transformation Systems", In Proc. of First International Conference on Graph Transformation (ICGT), 14-29, 2002
  • 5
    • 84937214517 scopus 로고    scopus 로고
    • Tutorial Introduction to Graph Transformation: A Software Engineering Perspective
    • Proc. of the First International Conference on Graph Transformation. (ICGT)
    • Baresi L., and Heckel R. Tutorial Introduction to Graph Transformation: A Software Engineering Perspective. Proc. of the First International Conference on Graph Transformation. (ICGT). Lecture Notes in Computer Science vol. 2505 (2002) 402-429
    • (2002) Lecture Notes in Computer Science , vol.2505 , pp. 402-429
    • Baresi, L.1    Heckel, R.2
  • 6
    • 36849088106 scopus 로고    scopus 로고
    • Baresi, L., Heckel, R., Thöne, S. and Varró, D., "Modeling and Validation of Service Oriented Architectures: Application vs. Style", In Proc. of European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering, 68-77, 2003
    • Baresi, L., Heckel, R., Thöne, S. and Varró, D., "Modeling and Validation of Service Oriented Architectures: Application vs. Style", In Proc. of European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering, 68-77, 2003
  • 7
    • 33750241239 scopus 로고    scopus 로고
    • Baresi, L. and Spoletini, P., "On the Use of Alloy to Analyze Graph Transformation Systems", In Proc. of Third International Conference on Graph Transformations, (ICGT), 306-320, 2006
    • Baresi, L. and Spoletini, P., "On the Use of Alloy to Analyze Graph Transformation Systems", In Proc. of Third International Conference on Graph Transformations, (ICGT), 306-320, 2006
  • 9
    • 0033680457 scopus 로고    scopus 로고
    • Efficient Parsing of Visual Languages based on Critical Pair Analysis and Contextual Layered Graph Transformation
    • IEEE Computer Society
    • Bottoni P., Taentzer G., and Schürr A. Efficient Parsing of Visual Languages based on Critical Pair Analysis and Contextual Layered Graph Transformation. Proc. of the 2000 IEEE International Symposium on Visual Languages (2000), IEEE Computer Society 59-68
    • (2000) Proc. of the 2000 IEEE International Symposium on Visual Languages , pp. 59-68
    • Bottoni, P.1    Taentzer, G.2    Schürr, A.3
  • 10
    • 0033697422 scopus 로고    scopus 로고
    • Corbett,J.C., Dwyer, M.B., Hatcliff, J., Laubach, S., Pasareanu, C.S., Robby and Zheng, H., "Bandera: Extracting Finite-State Models From Java Source Code", In Proc. of the 2nd Int. Conf. on Software engineering, 439-448, 2000
    • Corbett,J.C., Dwyer, M.B., Hatcliff, J., Laubach, S., Pasareanu, C.S., Robby and Zheng, H., "Bandera: Extracting Finite-State Models From Java Source Code", In Proc. of the 2nd Int. Conf. on Software engineering, 439-448, 2000
  • 11
    • 0345412606 scopus 로고    scopus 로고
    • Dotti, F.L., Foss, L., Ribeiro, L. and Santos, O.M., "Verification of Object-Based Distributed Systems", In Proc. of 6th International Conference on Formal Methods for Open Object-based Distributed Systems, 261-275, 2003
    • Dotti, F.L., Foss, L., Ribeiro, L. and Santos, O.M., "Verification of Object-Based Distributed Systems", In Proc. of 6th International Conference on Formal Methods for Open Object-based Distributed Systems, 261-275, 2003
  • 13
    • 34548150508 scopus 로고    scopus 로고
    • Handbook on Graph Grammars and Computing by Graph Transformation
    • Ehrig H., Engels G., Kreowski H., and Rozenberg G. (Eds), World Scientific vol. 2
    • Handbook on Graph Grammars and Computing by Graph Transformation. In: Ehrig H., Engels G., Kreowski H., and Rozenberg G. (Eds). Applications, Languages and Tools (1999), World Scientific vol. 2
    • (1999) Applications, Languages and Tools
  • 14
    • 43549116150 scopus 로고    scopus 로고
    • GROOVE. groove.sourceforge.net/groove-index.html
    • GROOVE
  • 15
    • 10444290082 scopus 로고    scopus 로고
    • Joint Optimization and Reachability Analysis in Graph Transformation Systems with Time
    • Proc. GT-VMT 2004, International Workshop on Graph Transformation and Visual Modelling Techniques
    • Gyapay S., Schmidt A., and Varró D. Joint Optimization and Reachability Analysis in Graph Transformation Systems with Time. Proc. GT-VMT 2004, International Workshop on Graph Transformation and Visual Modelling Techniques. ENTCS vol. 109 (2004) 137-147
    • (2004) ENTCS , vol.109 , pp. 137-147
    • Gyapay, S.1    Schmidt, A.2    Varró, D.3
  • 16
    • 43549098058 scopus 로고    scopus 로고
    • Gyapay-Varró, S. and Varró, D., "Optimization in Graph Transformation Systems Using Petri Net Based Techniques", In Proc. of the Workshop on Petri Nets and Graph Transformations, 2006
    • Gyapay-Varró, S. and Varró, D., "Optimization in Graph Transformation Systems Using Petri Net Based Techniques", In Proc. of the Workshop on Petri Nets and Graph Transformations, 2006
  • 17
    • 43549088124 scopus 로고    scopus 로고
    • Hausmann, J.H., "Dynamic Meta Modeling: A Semantics Description Technique for Visual Modeling Languages", Ph.D. Thesis, University of Paderborn, Germany, 2005
    • Hausmann, J.H., "Dynamic Meta Modeling: A Semantics Description Technique for Visual Modeling Languages", Ph.D. Thesis, University of Paderborn, Germany, 2005
  • 18
    • 0036036781 scopus 로고    scopus 로고
    • Hausmann, J.H, Heckel, R. and Taentzer, G., "Detection of Conflicting Functional Requirements in a Use Case-Driven Approach: A Static Analysis Technique Based on Graph Transformation", In Proc. of Int. Computer Softawre Engineering (ICSE), 105-115, 2002
    • Hausmann, J.H, Heckel, R. and Taentzer, G., "Detection of Conflicting Functional Requirements in a Use Case-Driven Approach: A Static Analysis Technique Based on Graph Transformation", In Proc. of Int. Computer Softawre Engineering (ICSE), 105-115, 2002
  • 19
    • 84957107637 scopus 로고    scopus 로고
    • Heckel, R., "Compositional Verification of Reactive Systems Specified by Graph Transformation", In Proc. of Fundamental Approaches to Software Engineering (FASE), 138-153, 1998
    • Heckel, R., "Compositional Verification of Reactive Systems Specified by Graph Transformation", In Proc. of Fundamental Approaches to Software Engineering (FASE), 138-153, 1998
  • 22
    • 33646712359 scopus 로고    scopus 로고
    • Towards Attributed Graphs in GROOVE
    • Workshop on Graph Transformation for Verification and Concurrency
    • Kastenberg H. Towards Attributed Graphs in GROOVE. Workshop on Graph Transformation for Verification and Concurrency. Electronic Notes in Theoretical Computer Science 154 (2005) 47-54
    • (2005) Electronic Notes in Theoretical Computer Science , vol.154 , pp. 47-54
    • Kastenberg, H.1
  • 23
    • 84948983390 scopus 로고    scopus 로고
    • A Formal Semantics of UML State Machines Based on Structured Graph Transformation
    • Proc. of UML 2001, Springer-Verlag
    • Kuske S. A Formal Semantics of UML State Machines Based on Structured Graph Transformation. Proc. of UML 2001. Lecture Notes in Computer Science volume 2185 (2001), Springer-Verlag
    • (2001) Lecture Notes in Computer Science , vol.2185
    • Kuske, S.1
  • 24
    • 35048862521 scopus 로고    scopus 로고
    • The GROOVE Simulator: A Tool for State Space Generation
    • Applications of Graph Transformations with Industrial Relevance (AGTIVE)
    • Rensink A. The GROOVE Simulator: A Tool for State Space Generation. Applications of Graph Transformations with Industrial Relevance (AGTIVE). Lecture Notes in Computer Science vol. 3062 (2004) 479-485
    • (2004) Lecture Notes in Computer Science , vol.3062 , pp. 479-485
    • Rensink, A.1
  • 25
    • 35048897606 scopus 로고    scopus 로고
    • Model Checking Graph Transformations: A Comparison of Two Approaches
    • Proc. of Second International Conference on Graph Transformation (ICGT)
    • Rensink A., Schmidt A., and Varró D. Model Checking Graph Transformations: A Comparison of Two Approaches. Proc. of Second International Conference on Graph Transformation (ICGT). LNCS vol. 3256 (2004) 226-241
    • (2004) LNCS , vol.3256 , pp. 226-241
    • Rensink, A.1    Schmidt, A.2    Varró, D.3
  • 26
    • 77954500284 scopus 로고    scopus 로고
    • Robby, Dwyer, M. and Hatcliff, J., "Bogor: An Extensible and Highly-Modular Software Model Checking Framework", In Proc. of the 9th European software engineering Confference, 267-276, 2003
    • Robby, Dwyer, M. and Hatcliff, J., "Bogor: An Extensible and Highly-Modular Software Model Checking Framework", In Proc. of the 9th European software engineering Confference, 267-276, 2003
  • 27
    • 43549086696 scopus 로고    scopus 로고
    • Schmidt, Á., "Model Checking of Visual Languages", Master's Thesis, Budapest University of Technology and Economics, Hungary, 2004
    • Schmidt, Á., "Model Checking of Visual Languages", Master's Thesis, Budapest University of Technology and Economics, Hungary, 2004
  • 28
    • 0242276159 scopus 로고    scopus 로고
    • CheckVML: A Tool for Model Checking Visual Modeling Languages
    • Proc. of 6th International Conference on the Unified Modeling Language (UML)
    • Schmidt A., and Varró D. CheckVML: A Tool for Model Checking Visual Modeling Languages. Proc. of 6th International Conference on the Unified Modeling Language (UML). LNCS vol. 2863 (2003) 92-95
    • (2003) LNCS , vol.2863 , pp. 92-95
    • Schmidt, A.1    Varró, D.2
  • 29
    • 43549122854 scopus 로고    scopus 로고
    • Soltenborn, C., "Analysis of UML Workflow diagrams with dynamic Meta Modeling Techniques", Master's Thesis, University of Paderborn, Germany, 2006
    • Soltenborn, C., "Analysis of UML Workflow diagrams with dynamic Meta Modeling Techniques", Master's Thesis, University of Paderborn, Germany, 2006


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.