Fundamentals of Object-Oriented Specification and Modeling of Collective Behaviors

  • Reino Kurki-Suonio
Part of the The Springer International Series in Engineering and Computer Science book series (SECS, volume 371)


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.


Collective Behavior Safety Property Behavioral Property Program Variable Execution Model 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [AL94]
    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.CrossRefGoogle Scholar
  2. [BK89]
    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.CrossRefGoogle Scholar
  3. [B87]
    Brooks, F.P.Jr., “No silver bullet — Essence and accidents of software engineering,” Computer 20,4, April 1987, pp. 10–19.Google Scholar
  4. [BCN95]
    Bucci, G., Campanai, M., Nesi, P., “Tools for specifying real-time systems,” Real-Time Systems 8,2/3, March/May 1995, pp. 117–172.CrossRefGoogle Scholar
  5. [CM88]
    Chandy, K.M., Misra, J., “Parallel Program Design — A Foundation,” Addison-Wesley, 1988.Google Scholar
  6. [H87]
    Harel, D., “Statecharts: a visual formalism for complex systems,” Science of Computer Programming 8, 1987, pp. 231–274.MATHCrossRefGoogle Scholar
  7. [J95]
    Jackson, M., “The world and the machine,” Proc. 17th Int. Conf. on Software Eng., 1995, pp. 283–292.Google Scholar
  8. [J92]
    Jarvinen, H.-M., “The design of a specification language for reactive systems,” Tampere University of Technology, Publication 95, 1992.Google Scholar
  9. [JKSS90]
    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.Google Scholar
  10. [K92a]
    Kurki-Suonio, R., “Operational specification with joint actions: serializable databases,” Distributed Computing 6, 1, 1992, pp. 19–37.MATHCrossRefGoogle Scholar
  11. [K92b]
    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.Google Scholar
  12. [K93a]
    Kurki-Suonio, R., “Stepwise design of real-time systems,” IEEE Transactions on Software Engineering 19, 1, January 1993, pp. 56–69.CrossRefGoogle Scholar
  13. [K93b]
    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.Google Scholar
  14. [K94]
    Kurki-Suonio, R., “Real time: fürther misconceptions (or half-truths),” Computer 27, 6, June 1994, pp. 71–76.CrossRefGoogle Scholar
  15. [L94]
    Lamport, L., “The temporal logic of actions,” Transactions on Programming Languages and Systems 16, 3, May 1994, pp. 872–923.CrossRefGoogle Scholar
  16. [S91]
    Systä, K., “A graphical tool for specification of reactive systems,” Proc. Euromicro’ 91 Workshop on Real-Time Systems, 1991, pp. 12–19.Google Scholar
  17. [S95]
    Systä, K., “A specification method for interactive systems.” Tampere University of Technology, Publication 172, 1995.Google Scholar

Copyright information

© Kluwer Academic Publishers 1996

Authors and Affiliations

  • Reino Kurki-Suonio
    • 1
  1. 1.Software Systems LaboratoryTampere University of TechnologyTampereFinland

Personalised recommendations