Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

12

WSC
1997

favoriteEmaildiscussreport

76views Modeling And Simulation» more WSC 1997»

A Java Based System for Specifying Hierarchical Control Flow Graph Models

13 years 6 months ago

A Java Based System for Specifying Hierarchical Control Flow Graph Models

Download www.informs-sim.org

The portion of the Hierarchical Modeling And Simulation System-Java (HiMASS-j) used for specifying Hierarchical Control Flow Graph (HCFG) Models is described. The speciﬁcation of HCFG Models in HiMASS-j is by visual interactive modeling through the use of graphical user interfaces and dialog boxes. HCFG Models are speciﬁed using two complementary hierarchical speciﬁcation 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.

Thorsten Daum, Robert G. Sargent

Real-time Traffic

HCFG Models | Hierarchical Control Flow | Modeling And Simulation | WSC 1997 |

claim paper

Related Content

» Some Recent Advances in the Process World View

» Modular Specification of Hybrid Systems in CHARON

» Modeling Coordination and Control in CrossOrganizational Workflows

» Mining Constrained Graphs The Case of Workflow Systems

» Generative Planning for Hybrid Systems Based on Flow Tubes

» Specifying Intrusion Detection and Reaction Policies An Application of Deontic Logic

» A Framework for Engineering Interactions in Javabased Component Systems

» Verifying web services composition based on hierarchical colored petri nets

» The design of SafeJML a specification language for SCJ with support for WCET specification

Post Info
More Details (n/a)

Added	01 Nov 2010
Updated	01 Nov 2010
Type	Conference
Year	1997
Where	WSC
Authors	Thorsten Daum, Robert G. Sargent

Comments (0)