Advertisement

An object-based approach to the specification of office entities

  • Hossein Saiedian
Track 7: Data Base
Part of the Lecture Notes in Computer Science book series (LNCS, volume 507)

Abstract

Office-specific systems are often difficult and costly to implement and/or prototype. One reason for this difficulty is the unavailability of an appropriate office specification language. In this paper, we introduce an object-based language to formally specify the externally observable behavior of office objects as well as their computations. This language is called Absl and is based on the actor model. The overall structure of Absl objects as well as some of their properties are presented.

Keywords

Actor Model Final Configuration Liveness Property Incoming Message Office System 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    Agha, G.: Actors: A Model of Concurrent Computation in Distributed Systems, MIT Press, 1986.Google Scholar
  2. [2]
    Baker, H.: Actor Systems for Real-Time Computations, PhD Dissertation, MIT, Cambridge, Mass., 1978.Google Scholar
  3. [3]
    Bracchi, G. and Pernici, B.: “The Design Requirements of Office Systems,” ACM TOOIS, Vol. 2, No. 2, April 1984.Google Scholar
  4. [4]
    Hewitt, C. and Baker, H.: “Actors and Continuous Functionals,” in Formal Description of Programming Concepts, E. Neuhold (Editor), North-Holland, 1977.Google Scholar
  5. [5]
    Hewitt, C.: “Offices are Open Systems,,” ACM TOOIS, July 1986.Google Scholar
  6. [6]
    Hoare, C.A.R.: “Communicating Sequential Processes,” CACM, Vol. 21, No. 8, 1978.Google Scholar
  7. [7]
    McBride, R.A. and Unger E.A.: “Modeling Jobs in a Distributed System,7rd in Proc. of ACM Symp. on Small and Personal Computers, 1983.Google Scholar
  8. [8]
    Peterson, J.L.: “Petri nets,” Computing Surveys, Vol. 9, No. 3, Sept. 1977.Google Scholar
  9. [9]
    Saiedian, H.,: An Object-Oriented Approach to the Specification of Applications for Office Automation, PhD Dissertation, Kansas State Univ., 1989.Google Scholar
  10. [10]
    Shriver, B. and Wegner, P. (Editors): Research Directions in Object-Oriented Programming, MIT Press, 1987.Google Scholar
  11. [11]
    Zisman, M.D.: Representation, Specification and Automation of Office Procedures, PhD Dissertation, Wharton School, Univ. of Pennsylvania, Philadelphia, 1977.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Hossein Saiedian
    • 1
  1. 1.Mathematics and Computer ScienceUniversity of NebraskaOmaha

Personalised recommendations