Modeling station duty officer operations assistant at Johnson Space Center

Advances in Engineering Software

Volumn 34, Issue 3, 2003, Pages 139-162

  Tavana, Madjid ^a   Ortiz, James N ^b   Torney, Susan E ^b  

^a LA SALLE UNIVERSITY   (United States)

^b NASA JOHNSON SPACE CENTER   (United States)

Author keywords

Automation technology; Data flow diagrams; NASA; Operations assistants; Petri nets; Process modeling; Structures analysis; Systems development

Indexed keywords

DATA FLOW ANALYSIS; DATA HANDLING; ELECTRIC POWER SYSTEMS; INTELLIGENT AGENTS; LIFE SUPPORT SYSTEMS (SPACECRAFT); MANNED SPACE FLIGHT; PETRI NETS; SPACE SIMULATORS; SPACE STATIONS; TEMPERATURE CONTROL;

PROCESS MODELING;

AUTOMATION;

EID: 0037368242     PISSN: 09659978     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0965-9978(02)00127-8     Document Type: Article

References (25)

1. Baylin E.N. System diagramming methods: which works best? Inform Syst Mgmt. 4:(3):1987;29-40.
2. Berthelot G., Terrat R. Petri net theory for correctness of protocols. IEEE Trans Commun. 30:(12):1982;2497-2505.
3. Bruno G., Marchetto G. Process-translatable petri nets for the rapid prototyping of process control systems. IEEE Trans Software Engng. vSE-12:1986;346-357.
4. Bullers W.I. A tripartite approach to information systems development. Decision Sci. 22:(1):1991;120-136.
5. Camurri A., Franchi P., Gandolfor F., Zaccaria R. Petri net based process scheduling: a model of the control system of flexible manufacturing systems. J Intell Robotic Syst. 1992.
6. DeMarco T. Structured analysis and system specification. 1979;Prentice-Hall, Englewood Cliffs, NJ.
7. France R.B. Semantically extended data flow diagrams: a formal specification tool. IEEE Trans Software Engng. 18:(4):1992;329-347.
8. Gene C., Sarson T. Structured systems analysis: tools and techniques. 1980;Prentice-Hall, Englewood Cliffs, NJ.
9. Holt A.W. Introduction of occurrence systems. JCKS E.L. Assoc Inform Tech. 1971;Elsevier, New York.
10. Jantzen M. Lecture notes in computer science. Lecture notes in computer science. 1980;Springer, New York.
11. Kievit K.A., Martin M.P. Systems analysis tools: who's using them? J Syst Mgmt. 40:(7):1989;26-31.
12. Millet I. Technical note: a proposal to simplify data flow diagrams. IBM Syst J. 38:(1):1999;118-121.
13. Murata T. Modeling and analysis of concurrent systems. Vicks C.R. Handbook of software engineering. 1984;39-63 Van Nostrand Reinhold, New York.
14. Murata T. Petri nets: properties, analysis and applications. Proc IEEE. 77:(4):1989;541-580.
15. Peterson J.L. Petri net theory and the modeling of systems. 1981;Prentice-Hall, Englewood Cliffs, NJ.
16. Petri C. Communicatiomn with automata. Supplement 1 to technical report RADC-TR-65-377, vol. 1, Rome Air Development Center, Griffith Air Force Base, Jan 1966. Translated by Greene Jr CF from 'Kommunikation mit Automaten', University of Bonn, Germany; 1962.
17. Richter G., Maffeo B. Toward a rigorous interpretation of ESNL: extended systems modeling language. IEEE Trans Software Engng. 19:(2):1993;165-181.
18. Ross D.T. Structured analysis (SA): a language for communicating ideas. IEEE Trans Software Engng. SE3:(1):1977;16-34.
19. Tao Y., Kung C. Formal definition and verification of data flow diagrams. J Syst Software. 16:(1):1991;29-37.
20. Van Hee K.M., Somers L.J.A.M., Voorhoeve M. A modeling environment for decision support systems. Decision Support Syst. 7:(3):1991;241-252.
21. Wang F., Kyriakopoulos K.J., Tsolkas T., Saridis G.N. A petri-net coordination model for an intelligent mobile robot. IEEE Trans Syst Man Cybernetics. 21:(4):1991.
22. Ward P.T. The transformation schema: an extension of the data flow diagram to represent control and timing. IEEE Trans Software Engng. SE12:(2):1986;198-211.
23. Yourdon E. What ever happened to structured analysis? Datamation. 32:(11):1986;133-138.
24. Zave P. An operational approach to requirements specification for embedded systems. IEEE Trans Software Engng. 8:(3):1982;250-269.
25. Zurawski R., Zhou M.-C. Petri nets and industrial applications: a tutorial. IEEE Trans Ind Electron. 41:(6):1994;567-583.