Title :
Task graphs for mobile code-an introduction to ITGS
Author :
Silberman, Ami ; Stoyen, Alexander D.
Author_Institution :
New Jersey Inst. of Technol., Newark, NJ, USA
Abstract :
We present ITGS, the Integrated Task Graph System. ITGS is a combined specification and analysis system for the design of complex real-time system, in particular those involving mobile code. ITGS data structures and analysis algorithms will be used throughout a systems design cycle. In addition, ITGS will either contain or interface with CASE tools and a run-time system or systems in order to provide “cradle-to-grave” support based upon the task-graph model
Keywords :
distributed programming; formal specification; task analysis; CASE tools; ITGS; Integrated Task Graph System; analysis; complex real-time system; mobile code; specification; Software requirements and specifications;
Conference_Titel :
Object-Oriented Real-Time Dependable Systems, 1999. Proceedings. Fourth International Workshop on
Conference_Location :
Santa Barbara, CA
Print_ISBN :
0-7803-5579-2
DOI :
10.1109/WORDS.1999.806595
