Skip to main content
SpringerLink
Log in

An object-based approach to the specification of office entities

  • Track 7: Data Base
  • Conference paper
  • First Online:
Computing in the 90's (Great Lakes CS 1989)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 507))

Included in the following conference series:

  • 105 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Agha, G.: Actors: A Model of Concurrent Computation in Distributed Systems, MIT Press, 1986.

    Google Scholar 

  2. Baker, H.: Actor Systems for Real-Time Computations, PhD Dissertation, MIT, Cambridge, Mass., 1978.

    Google Scholar 

  3. Bracchi, G. and Pernici, B.: “The Design Requirements of Office Systems,” ACM TOOIS, Vol. 2, No. 2, April 1984.

    Google Scholar 

  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. Hewitt, C.: “Offices are Open Systems,,” ACM TOOIS, July 1986.

    Google Scholar 

  6. Hoare, C.A.R.: “Communicating Sequential Processes,” CACM, Vol. 21, No. 8, 1978.

    Google Scholar 

  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. Peterson, J.L.: “Petri nets,” Computing Surveys, Vol. 9, No. 3, Sept. 1977.

    Google Scholar 

  9. Saiedian, H.,: An Object-Oriented Approach to the Specification of Applications for Office Automation, PhD Dissertation, Kansas State Univ., 1989.

    Google Scholar 

  10. Shriver, B. and Wegner, P. (Editors): Research Directions in Object-Oriented Programming, MIT Press, 1987.

    Google Scholar 

  11. Zisman, M.D.: Representation, Specification and Automation of Office Procedures, PhD Dissertation, Wharton School, Univ. of Pennsylvania, Philadelphia, 1977.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Mathematics and Computer Science, University of Nebraska, 68182, Omaha, Nebraska

    Hossein Saiedian

Authors
  1. Hossein Saiedian
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Naveed A. Sherwani Elise de Doncker John A. Kapenga

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Saiedian, H. (1991). An object-based approach to the specification of office entities. In: Sherwani, N.A., de Doncker, E., Kapenga, J.A. (eds) Computing in the 90's. Great Lakes CS 1989. Lecture Notes in Computer Science, vol 507. Springer, New York, NY. https://doi.org/10.1007/BFb0038501

Download citation

  • DOI: https://doi.org/10.1007/BFb0038501

  • Published:

  • Publisher Name: Springer, New York, NY

  • Print ISBN: 978-0-387-97628-0

  • Online ISBN: 978-0-387-34815-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation