Abstract
Starting from an analysis of the components that an applicable theory of programs needs, the fundamentals of object-oriented specification of collective behaviors are considered. It is shown that incremental derivation of operational models can be supported by a design methodology with a firm theoretical foundation, and that formal reasoning on behavioral properties is possible already in early stages of specification.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Abadi, M., Lamport, L., “An old-fashioned recipe for real time,” ACM Transactions on Programming Languages and Systems 16, 5, September 1994, pp. 1543–1571.
Back, R.J.R., Kurki-Suonio, R., “Decentralization of process nets with a centralized control,” Distributed Computing 3, 1989, pp. 73–87. An earlier version in “Proc. 2nd ACM SIGACT-SIGOPS Symp. on Principles of Distributed Computing, 1983, pp. 131–142.
Brooks, F.P.Jr., “No silver bullet — Essence and accidents of software engineering,” Computer 20,4, April 1987, pp. 10–19.
Bucci, G., Campanai, M., Nesi, P., “Tools for specifying real-time systems,” Real-Time Systems 8,2/3, March/May 1995, pp. 117–172.
Chandy, K.M., Misra, J., “Parallel Program Design — A Foundation,” Addison-Wesley, 1988.
Harel, D., “Statecharts: a visual formalism for complex systems,” Science of Computer Programming 8, 1987, pp. 231–274.
Jackson, M., “The world and the machine,” Proc. 17th Int. Conf. on Software Eng., 1995, pp. 283–292.
Jarvinen, H.-M., “The design of a specification language for reactive systems,” Tampere University of Technology, Publication 95, 1992.
Jarvinen, H.-M., Kurki-Suonio, R., Sakkinen, M, Systä, K., “Object-oriented specification of reactive systems,” Proc. 12th Int. Conf. on Software Eng., 1990, pp. 63–71.
Kurki-Suonio, R., “Operational specification with joint actions: serializable databases,” Distributed Computing 6, 1, 1992, pp. 19–37.
Kurki-Suonio, R., “Modular modeling of temporal behaviors,” in “Information Modelling and Knowledge Bases III” (eds. S. Ohsuga et al.), IOS Press, 1992, pp. 283–300.
Kurki-Suonio, R., “Stepwise design of real-time systems,” IEEE Transactions on Software Engineering 19, 1, January 1993, pp. 56–69.
Kurki-Suonio, R., “Hybrid models with fairness and distributed clocks,” In “Hybrid Systems” (eds. R.L. Grossman, A. Nerode, A.P. Ravn, H. Rischel), LNCS 736, Springer-Verlag, 1993, pp. 103–120.
Kurki-Suonio, R., “Real time: fürther misconceptions (or half-truths),” Computer 27, 6, June 1994, pp. 71–76.
Lamport, L., “The temporal logic of actions,” Transactions on Programming Languages and Systems 16, 3, May 1994, pp. 872–923.
Systä, K., “A graphical tool for specification of reactive systems,” Proc. Euromicro’ 91 Workshop on Real-Time Systems, 1991, pp. 12–19.
Systä, K., “A specification method for interactive systems.” Tampere University of Technology, Publication 172, 1995.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1996 Kluwer Academic Publishers
About this chapter
Cite this chapter
Kurki-Suonio, R. (1996). Fundamentals of Object-Oriented Specification and Modeling of Collective Behaviors. In: Object-Oriented Behavioral Specifications. The Springer International Series in Engineering and Computer Science, vol 371. Springer, Boston, MA. https://doi.org/10.1007/978-0-585-27524-6_7
Download citation
DOI: https://doi.org/10.1007/978-0-585-27524-6_7
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-7923-9778-6
Online ISBN: 978-0-585-27524-6
eBook Packages: Springer Book Archive