Sciweavers

50 search results - page 1 / 10
» A Java Based System for Specifying Hierarchical Control Flow...
Sort
View
WSC
1997
13 years 6 months ago
A Java Based System for Specifying Hierarchical Control Flow Graph Models
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 o...
Thorsten Daum, Robert G. Sargent
WSC
2004
13 years 6 months ago
Some Recent Advances in the Process World View
We discuss a modification of the process world view, a graphical modeling representation language for the modified process world view called Control Flow Graphs (CFGs), an extensi...
Robert G. Sargent
HYBRID
2000
Springer
13 years 9 months ago
Modular Specification of Hybrid Systems in CHARON
Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports bu...
Rajeev Alur, Radu Grosu, Yerang Hur, Vijay Kumar, ...
COOPIS
2002
IEEE
13 years 10 months ago
Modeling Coordination and Control in Cross-Organizational Workflows
Current e-service technology paradigms require the analysis and conceptual modeling of cooperative inter-organizational workflows. Cooperation among different organizations is base...
Enzo Colombo, Chiara Francalanci, Barbara Pernici
CINQ
2004
Springer
182views Database» more  CINQ 2004»
13 years 9 months ago
Mining Constrained Graphs: The Case of Workflow Systems
Abstract. Constrained graphs are directed graphs describing the control flow of processes models. In such graphs, nodes represent activities involved in the process, and edges the ...
Gianluigi Greco, Antonella Guzzo, Giuseppe Manco, ...