Towards object-oriented graphs and grammars

被引：0
|
作者：
Ferreira, APL [1 ]
Ribeiro, L
机构：
[1] Univ Vale Rio dos Sinos, Ctr Ciencias Exatas & Tecnol, Sao Leopolda, RS, Brazil
[2] Univ Fed Rio Grande Sul, Inst Informat, BR-90046900 Porto Alegre, RS, Brazil
来源：
FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, PROCEEDINGS | 2003年 / 2884卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
This work aims to extend the algebraical approach to graph transformation to model object-oriented systems structures and computations. A graph grammar based formal framework for object-oriented system modeling is presented, incorporating both the static aspects of system modeling and the dynamic aspects of computation of object-oriented programs.
引用
收藏
页码：16 / 31
页数：16
相关论文
共 50 条
  • [1] Derivations in object-oriented graph grammars
    Ferreira, APL
    Ribeiro, L
    [J]. GRAPH TRANSFORMATIONS, PROCEEDINGS, 2004, 3256 : 416 - 430
  • [2] Object-oriented conceptual graphs
    Ellis, G
    [J]. CONCEPTUAL STRUCTURES: APPLICATIONS, IMPLEMENTATION AND THEORY, 1995, 954 : 144 - 157
  • [3] A Pure Object-Oriented Embedding of Attribute Grammars
    Sloane, Anthony M.
    Kats, Lennart C. L.
    Visser, Eelco
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2010, 253 (07) : 205 - 219
  • [4] Object-oriented representation of hierarchical graphs
    Pentus A.E.
    Pentus M.R.
    [J]. Journal of Mathematical Sciences, 2007, 140 (2) : 286 - 294
  • [5] Formal Verification of Object-Oriented Graph Grammars Specifications
    Luedtke Ferreira, Ana Paula
    Foss, Luciana
    Ribeiro, Leila
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 175 (04) : 101 - 114
  • [6] Towards Object-Oriented Context Modeling Object-Oriented Relational Database Data Storage
    Bhogal, Jagdev
    Moore, Philip
    [J]. 2014 28TH INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS WORKSHOPS (WAINA), 2014, : 542 - 547
  • [7] TOWARDS OBJECT-ORIENTED ALGEBRAIC SPECIFICATIONS
    GROSSERHODE, M
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 534 : 98 - 116
  • [8] TOWARDS OBJECT-ORIENTED GRAPHICS STANDARDS
    WISSKIRCHEN, P
    [J]. COMPUTERS & GRAPHICS, 1986, 10 (02) : 183 - 187
  • [9] Towards Object-Oriented Modeling in SCCharts
    Schulz-Rosengarten, Alexander
    Smyth, Steven
    Mendler, Michael
    [J]. PROCEEDINGS OF THE 2019 FORUM ON SPECIFICATION AND DESIGN LANGUAGES (FDL), 2019,
  • [10] Towards Interactive Object-Oriented Programming
    Kwon, Keehang
    Park, Kyunghwan
    Park, Mi-Young
    [J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2015, E98D (02): : 437 - 438
12345