Extended Statecharts for and specification of manufacturing control software systems the modelling

International Journal of Computer Integrated Manufacturing

Volumn 10, Issue 1, 1997, Pages 160-171

  Suraj, A ^a   Ramaswamy, S ^b   Barber, K S ^a  

^a The University of Texas at Austin   (United States)

^b School of Business   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0003665727     PISSN: 0951192X     EISSN: 13623052     Source Type: Journal    
DOI: 10.1080/095119297131264     Document Type: Article

References (24)

1. BARCIO, B., 1994, SMOOCHES: State Machines for Object-Oriented Concurrent, Hierarchical Engineering Specifications. M. S. thesis, Dept. of ECE, University of Texas at Austin, Austin, TX.
2. BARCIO, B., RAMASWAMY, S., MACFADZEAN, R., and BARBER, K. S., 1995, Object-oriented analysis, Modeling, and simulation of a notional air defense system. IEEE International Conference on Systems, Man and Cybernetics, Vancouver, October 1995, Vol. 5, pp. 3983-3988.
3. BOOCH, G., 1991, Object Oriented Design with Applications (Benjamin/Cummings, Redwood City, CA).
4. CHERRY, g. W., 1993, Stimulus-response machines: a new visual formalism for describing classes and objects. ACM SIGSOFT Software Engineering Notes, 18, 86-95.
5. Clements, p. c., Heitmeyer, c. L., Labaw, b. G. and Mok, A. K., 1993, Applying formal methods to an embedded realtime avionics system. In Proceedings of the First IEEE Workshop on Real-Time Applications, New York, pp. 46-49.
6. Coleman, d., Hayes f. and Bear, S., 1992, introducing objectcharts or how to use statecharts in object-oriented design. IEEE Transactions on Software Engineering, 18, 9-18.
7. GABRIELIAN, a., and Franklin, M. K., 1991, Multilevel specification of real time systems. Communications of the ACM. 34. 51-60.
8. Goldstein, N., and Alger, J., 1992, Developing Object-Oriented Software for the Macintosh: Analysis, Design, and Programming Addison-Wesley, (Reading, MA).
9. Gossain, S., and ANDERSON, B., 1990, An iterative-design model for reusable object-oriented software. ECOOP/ OOPSLA 1990 Proceedings, Ottawa, Canada, October 1990, pp. 13-27.
10. GRESHON, N., and EICK, S., 1995, Visualization’s new track: making sense of information. IEEE Spectrum. November, 38-56.
11. HAREL, D., 1987a, Algorithmics: The Spirit of Computing (Addison-Wesley).
12. HAREL, D., 1987b, Statecharts: a visual formalism for complex systems, Sci. Comput. Program., 8, 231-274.
13. HAREL, D., 1988, On visual formalisms. Communications of the ACM, 31. 514-531.
14. HAREL, D., and PNUELI, A., 1985, On the development of reactive systems. In K.R. Apt (ed.), Logics and Models of Concurrent Systems, NATO, ASI Series, Vol. 13 (SpringerVerlag, New York) pp. 477-498.
15. Harel, D., pnueli, a., Schmidt, j. p., and Sherman, r., 1987, On the formal semantics of statecharts. In Proceedings of 2nd IEEE Symposium on Logic of Computer Science. Ithaca, NY, pp. 54-64.
16. HAREL, D. et al., 1990, STATEMATE: a working environment for the development of complex reactive systems. In T. DeMarco and T. Lister (eds) Software State-of-the-Art: Selected Papers (Dorset House, New York) pp. 322-338.
17. INGRAND, F., et al., 1992, An architecture for real-time reasoning and system control. IEEE Expert.
18. JARVINEN, H. M., et al., 1990, Object-oriented specification of reactive systems. In Proceedings of the 12th International Conference on Software Engineering, Long Beach, CA, pp. 63-71.
19. MANNA, Z., pnueli, a., 1983, Verification of concurrent programs: a temporal proof system. In Foundations of Computer Science IV (Amsterdam) pp. 163-255.
20. RICHTER, G., and Maffeo, b., 1999, Toward a rigorous interpretation of ESML-extended systems modeling language, IEEE Transactions on Software Engineering, 19, 165-180.
21. ROBERTSON, g. G., et al., 1983, Information visualization using 3-D interactive animation. Communications of the ACM, 36, 57-71.
22. rumbaugh, j., Blaha, M., PREMERLANI, W., EDDY, F., and LORENSEN, W., 1991, Object-Oriented Modeling and Design Prentice Hall, (Englewood Clifs, NJ).
23. SHARBLE, R. C., and COHEN, S., 1993, The object-oriented brewery: a comparison of two object-oriented development methods. ACM SIGSOFT Software Engineering Notes, 18, 60-73.
24. SHAW, a., 1992, Communicating real-time state machines. IEEE Transactions on Software Engineering, 18, 805-816.