A Java']Java based system for specifying Hierarchical Control Flow Graph Models

被引：3
|
作者：
Daum, T [1 ]
Sargent, RG [1 ]
机构：
[1] Syracuse Univ, Simulat Res Grp, Syracuse, NY 13244 USA
来源：
PROCEEDINGS OF THE 1997 WINTER SIMULATION CONFERENCE | 1997年
关键词：
D O I：
10.1145/268437.268466
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
The portion of the Hierarchical Modeling And Simulation System-Java (HiMASS-j) used for specifying Hierarchical Control Flow Graph (HCFG) Models is described. The specification of HCFG Models in HiMASS-j is by visual interactive modeling through the use of graphical user interfaces and dialog boxes. HCFG Models are specified using two complementary hierarchical specification structures, one to specify the components that comprise a model and how these components are interconnected, and the other to specify the behaviors of the individual atomic components.
引用
收藏
页码：150 / 157
页数：8
相关论文
共 50 条
  • [1] Constructing control flow graph for Java']Java by decoupling exception flow from normal flow
    Jo, JW
    Chang, BM
    COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2004, PT 1, 2004, 3043 : 106 - 113
  • [2] The Java']Java system dependence graph
    Walkinshaw, N
    Roper, M
    Wood, M
    THIRD IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS AND MANIPULATION - PROCEEDINGS, 2003, : 55 - 64
  • [3] Constructing control flow graph that accounts for exception induced control flows for Java']Java
    Jo, JW
    Chang, BM
    KORUS 2003: 7TH KOREA-RUSSIA INTERNATIONAL SYMPOSIUM ON SCIENCE AND TECHNOLOGY, VOL 2, PROCEEDINGS: ELECTRICAL ENGINEERING AND INFORMATION TECHNOLOGY, 2003, : 160 - 165
  • [4] Generating Control Flow Graph from Java']Java Card Byte Code
    Amine, Achkar
    Mohammed, Benattou
    Jean-Louis, Lanet
    2014 THIRD IEEE INTERNATIONAL COLLOQUIUM IN INFORMATION SCIENCE AND TECHNOLOGY (CIST'14), 2014, : 206 - 212
  • [5] Empirically evaluating OCL and Java']Java for specifying constraints on UML models
    Yue, Tao
    Ali, Shaukat
    SOFTWARE AND SYSTEMS MODELING, 2016, 15 (03): : 757 - 781
  • [6] A Static Java']Java Birthmark Based on Control Flow Edges
    Lim, Hyun-il
    Park, Heewan
    Choi, Seokwoo
    Han, Taisook
    2009 IEEE 33RD INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, VOLS 1 AND 2, 2009, : 413 - 420
  • [7] Sound Control Flow Graph Extraction from Incomplete Java']Java Bytecode Programs
    Gomes, Pedro de Carvalho
    Picoco, Attilio
    Gurov, Dilian
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2014, 2014, 8411 : 215 - 229
  • [8] JGraph - A Java']Java based system for drawing graphs and running graph algorithms
    Bagga, J
    Heinz, A
    GRAPH DRAWING, 2002, 2265 : 459 - 460
  • [9] The ultimate control flow transfer in a Java']Java based smart card
    Bouffard, Guillaume
    Lanet, Jean-Louis
    COMPUTERS & SECURITY, 2015, 50 : 33 - 46
  • [10] Security reference models based on Java']Java mobile agent system
    Lei Guohua
    Zhou Yi
    Yu Yan
    Kong Leilei
    ICCSE'2006: Proceedings of the First International Conference on Computer Science & Education: ADVANCED COMPUTER TECHNOLOGY, NEW EDUCATION, 2006, : 589 - 591
12345