This paper describes the analysis, modeling, and simulation of a notional air defense system using SMOOCHES (State Machines for Object-Oriented, Concurrent, Hierarchical Engineering Specifications). SMOOCHES is an object- oriented environment based on hierarchical state machines and extensions to Statecharts, specifically developed as an environment to specify, model, simulate and analyze / evaluate distributed, reactive systems. Using a high level system specification language, an object- oriented, hierarchical state specification of a radar tracking system with realistic constraints is derived. A graphical statechart representation of the tracking system behavior is also derived and implemented within the SMOOCHES environment.
Gul A. Agha, "ACTORS: A Model of Concurrent Computation in Distributed Systems,"Cambridge, Massachusetts: The MIT Press, 1986.
2.
M.W. Alfrod, et al. , "Distributed Systems: Methods and Tools for Specification," Lecture Notes in Computer Science, 190, Springer-Verlag, New York, 1985, pp. 270- 285.
3.
B. Alpern, F. Schneider, "Defining Liveness,"Inf. Process. Lett., vol 21, no 4, Oct. 1985, pp. 181 -185.
4.
B. Barcio, S. Ramaswamy, K.S. Barber, "An Object-Oriented Modeling and Simulation Environment for Reactive Systems Development", submitted to IEEE Transactions on Systems Man and Cybernetics, Feb. 1995, a preliminary version of this paper titled "OARS: An Object Oriented Architecture for Reactive Systems Development" appeared in the IEEE Intnl. Conf. on Robotics and Automation, Nagoya, Japan, May 1995.
5.
B.T. Barcio , S. Ramaswamy, K.S. Barber"An Object-Oriented Model-based Approach to Software Systems Development", ASQC 5th Intnl. Conf. on Software Quality, Austin, TX . Oct. 1995.
6.
B.T. Barcio , S. Ramaswamy, R. Macfadzean, K.S. Barber, "Object-Oriented Analysis, Modeling and Simulation of a Notional Air Defense System,"IEEE Intnl. Conf. on Systems, Man and Cybernetics, Vancouver, Canada. Oct. 1995.
7.
B.T. Barcio , "SMOOCHES: State Machines for Object-Oriented Concurrent, Hierarchical Engineering Specifications", MS Thesis , Dept. of ECE, Univ. of Texas at Austin, Austin. Dec. 1994.
8.
Kenneth Basye , et al., "A Decision-Theoretic Approach to Planning, Perception, and Control,"IEEE Expert , 1992.
9.
f. Bear, P. Allen, D. Coleman, F. Hayes, "Graphical Specification of Object Oriented Systems,"ECOOP/ OOPSLA 1990 Proceedings, Oct. 1990, pp. 28 - 37.
10.
Grady Booch , Object Oriented Design with Applications , Redwood City, California: The Benjamin/Cummings Publishing Company, Inc., 1991.
11.
Y. Brave, M. Heymann, "Control of Discrete Event Systems Modeled as Hierarchical State Machines,"IEEE Transactions on Automatic Control , vol 38, no 12, Dec. 1993, pp. 1803-1819.
12.
G.W. Cherry , "Stimulus-Response Machines: A New Visual Formalism for Describing Classes and Objects,"ACM SIGSOFT Software Engineering Notes, vol 18, no 2, Apr. 1993, pp. 86 - 95.
13.
Lawrence A. Ciscon, "A Communications and Interaction Model for Intelligent Cooperating Robots," PhD Rice University , May 1993.
14.
P.C. Clements , C.L. Heitmeyer, B.G. Labaw, A.K. Mok, "Applying Formal Methods to an Embedded Real-Time Avionics System", Proceedings of the First IEEE Workshop on Real-Time Applications , New York, 1993, pp. 46 - 49.
15.
D. Coleman , F. Hayes, S. Bear"Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design,"IEEE Transactions on Software Engineering, vol 18, no 1, Jan. 1992, pp. 9- 18.
16.
Alan Davis, "A Comparison of Techniques for the Specification of External System Behavior,"Communications of the ACM, vol 31, no 9, Sept. 1988 , pp. 1098- 1115.
17.
Armen Gabrielian , Matthew K. Franklin, "Multilevel Specification of Real Time Systems,"Communications of the ACM , vol 34, no 5, May 1991, pp. 51 - 60.
18.
M. Ganti, P. Goyal, S. Podar, "An Object-Oriented Software Application Architecture,"Proceedings of the 12th International Conference on Software Engineering , 1990, pp 212 - 220.
19.
D. Garlan, C. Scott, "Adding Implicit Invocation to Traditional Programming Languages,"15th International Conference on Software Engineering , 1993, pp 447- 455.
20.
R. Gerber and I. Lee, "A Layered Approach to Automating the Verification of Real-Time Systems" , IEEE Transactions on Software Engineering , vol 18, no 9, Sept. 1992 , pp. 768-784.
21.
C. Ghezzi, D. Mandrioli, A. Morzenti, "TRIO: A Logic Language for Executable Specifications of Real-Time Systems" , Journal of Systems Software , June 1980.
22.
Neal Goldstein , Jeff Alger, Developing Object-Oriented Software for the Macintosh: Analysis, Design, and Programming, Reading, Massachusetts: Addison-Wesley Publishing Company, Inc., 1992.
23.
S.Gossain, B. Anderson, "An Iterative-Design Model for Reusable Object-Oriented Software,"ECOOP/OOPSLA 1990 Proceedings, Oct. 1990, pp. 13 - 27.
24.
D. Harel, et al., "STATEMATE: A Working Environment for the Development of Complex Reactive Systems,"in Software State-of-the-Art: Selected Papers, Tom DeMarco and Timothy Lister, editors, NewYork: Dorset House, 1990, pp. 322-338.
25.
D. Harel, "On Visual Formalisms,"Communications of the ACM , vol 31, no 5, May 1988, pp. 514 - 531.
26.
D. Harel, Algorithmics: The Spirit of Computing, Addison-Wesley Publishing Company, Inc., 1987.
27.
D. Harel, A. Pnueli, J.P. Schmidt, and R. Sherman, "On the Formal Semantics of Statecharts,"Proc. 2nd IEEE Symp. on Logic of Computer Sci., 1987, pp. 54 - 64.
28.
D. Harel, "Statecharts: A Visual Formalism for Complex Systems,"Sci. Comput. Program., vol 8, no 3, June 1987, pp. 231 - 274.
29.
D. Harel, A. Pnueli, "On the Development of Reactive Systems,"Logics and Models of Concurrent Systems, NATO, ASI Series, vol 13, K.R. Apt, Ed. Springer-Verlag, New York, 1985, pp. 477 - 498.
30.
C.R. Harrell , K. Tumay, "ProModel Tutorial", Proc. of the Winter Simulation Conference, Arlington, VA, Dec. 1992, pp. 405-409.
François Ingrand , et al., An Architecture for Real-Time Reasoning and System Control, IEEE Expert, 1992.
33.
H.M. Jarvinen , et al., "Object-Oriented Specification of Reactive Systems,"Proceedings of the 12th International Conference on Software Engineering, 1990, pp. 63-71.
34.
Kjell, Nielsen , Ada in Distributed Real-Time Systems , New York: McGraw-Hill Book Company , 1990.
35.
F. Kroger, "Temporal Logic of Programs", in EATCS Monographs on Theoretical Computer Science, New York, Springer-Verlag , 1987.
36.
Christine Lafontaine, et al., "An Experiment in Formal Software Development: Using the B Theorem Prover on a VDM Case Study,"Communications of the ACM, vol 34, no 5, May 1991, pp. 63-71.
37.
L. Lamport , "A Simple Approach to Specifying Concurrent Systems,"Communications of the ACM, vol 32, no 1, Jan. 1989, pp. 32 - 45.
38.
J.E. Lenz, "The MAST Simulation Environment", Proc. of the Winter Simulation Conference, Washington D.C ., Dec. 1989, pp. 243-248.
39.
Marc Linster , "Closing the Gap Between Modeling to Make Sense and Modeling to Implement Systems,"International Journal of Intelligent Systems, vol 8, 1993, pp. 209-230.
40.
R. Milner, "Calculi for Synchrony and Asynchrony", Theoret. Comput. Sci., vol 25, 1983.
41.
C.J. Murgiano , "A Tutorial on WITNESS", Proceedings of the Winter Simulation Conference, New Orleans, LA, Dec. 1990, pp. 177-179.
X. Nicollin ,J. Sifakis,S. Yovine, "Compiling Real-Time Specifications into Extended Automata,"IEEE Transactions on Software Engineering , vol 18, no 9, Sept. 1992, pp. 794- 804.
44.
. O. Nierstrasz, M. Papathomas,"Viewing Objects as Patterns of Communicating Agents,"ECOOP/OOPSLA 1990 Proceedings , Oct. 1990, pp. 38- 43
45.
H. Oswald, R. Esser, R. Mattmann, "An Environment for Specifying and Executing Hierarchical Petri Nets,"Proceedings of the 12th International Conference on Software Engineering, 1990, pp. 164-172.
46.
M. Pidd, "Guidelines for the Design of Data Driven Generic Simulators", SIMULATION, vol 59, no 4, 1992, pp. 237-243.
47.
A. Pnueli, "Applications of Temporal Logic to the Specification and Verification of Reactive Systems: A Survey of Current Trends," in Current Trends in Concurrency, J. W. de Bakker et al., Eds. Lecture Notes in Computer Science, vol 224, Springer-Verlag, New York, 1986, pp. 510 - 584.
48.
A. Pnueli, "The Temporal Semantics of Concurrent Programs", Theoret. Comput. Sci., vol 13, 1981.
49.
Srinivasan Ramaswamy , Hierarchical Time-Extended Petri Nets (H-EPNs) for Integrated Control and Diagnostics of Multilevel Systems , PhD, The Center for Adv. Comp. Studies, The University of SW Louisiana, May 1994.
50.
S. Ramaswamy , K.S. Barber, "A High Level Specification Mechanism for the Analysis and Design of Manufacturing Systems"IEEE Intnl. Conf. on Systems Man and Cybernetics, Vancouver, Ca, Oct. 1995.
51.
G. Richter , B. Maffeo, "Toward a Rigorous Interpretation of ESML-Extended Systems Modeling Language,"IEEE Transactions on Software Engineering, vol 19, no.2, pp. 165 -180.
52.
J. Rumbaugh , M. Blaha, W. Premerlani, F. Eddy, W. Lorensen, Object-Oriented Modeling and Design, Englewood Cliffs, New Jersey : Prentice-Hall, 1991.
53.
J. Rumbaugh , "State Trees as Structured Finite State Machines for User Interfaces,"Communications of the ACM, vol 10, no 15, Oct. 1988, pp. 15 - 29.
54.
Ses, "SES/Objectbench User's Manual,"SES, 1993.
55.
Alan Shaw, "Communicating Real-Time State Machines,"IEEE Transactions on Software Engineering, vol 18, no. 9, Sept. 1992, pp. 805 - 816.
56.
Sally Shlaer , Stephen Mellor, Object Lifecycles: Modeling the World in States, Englewood Cliffs, New Jersey : Yourdon Press, 1992.
57.
Robert C. Sharble , Samuel S. Cohen, "The Object-Oriented Brewery: A Comparison of Two Object-Oriented Development Methods,"ACM SIGSOFT Software Engineering Notes, vol 18, no 2, Apr. 1993, pp. 60-73.
58.
R.G. Smith, "The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver,"in Readings in Distributed Artificial Intelligence, Bond and Gasser, editors, 1988
59.
A. Sowmya, S. Ramesh, "Extending Statecharts with Temporal Logic,"Technical Report, School of Computer Science and Engineering, The University of New South Wales, SCS&E Report 9401,1994.
60.
Jeannette Wing, "A Specifier's Introduction to Formal methods,"IEEE Computer, 1990.
61.
Jeannette Wing, "Using Larch to Specify Avalon/C++ Objects,"IEEE Transactions on Software Engineering , vol 16, no. 9, Sept. 1990.
62.
Thies Wittig (editor), ARCHON: An Architecture for Multi-agent Systems, New York: Ellis Horwood, 1992.
