An object-based approach to the specification of office entities
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.
KeywordsActor Model Final Configuration Liveness Property Incoming Message Office System
Unable to display preview. Download preview PDF.
- Agha, G.: Actors: A Model of Concurrent Computation in Distributed Systems, MIT Press, 1986.Google Scholar
- Baker, H.: Actor Systems for Real-Time Computations, PhD Dissertation, MIT, Cambridge, Mass., 1978.Google Scholar
- Bracchi, G. and Pernici, B.: “The Design Requirements of Office Systems,” ACM TOOIS, Vol. 2, No. 2, April 1984.Google Scholar
- Hewitt, C. and Baker, H.: “Actors and Continuous Functionals,” in Formal Description of Programming Concepts, E. Neuhold (Editor), North-Holland, 1977.Google Scholar
- Hewitt, C.: “Offices are Open Systems,,” ACM TOOIS, July 1986.Google Scholar
- Hoare, C.A.R.: “Communicating Sequential Processes,” CACM, Vol. 21, No. 8, 1978.Google Scholar
- 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
- Peterson, J.L.: “Petri nets,” Computing Surveys, Vol. 9, No. 3, Sept. 1977.Google Scholar
- Saiedian, H.,: An Object-Oriented Approach to the Specification of Applications for Office Automation, PhD Dissertation, Kansas State Univ., 1989.Google Scholar
- Shriver, B. and Wegner, P. (Editors): Research Directions in Object-Oriented Programming, MIT Press, 1987.Google Scholar
- Zisman, M.D.: Representation, Specification and Automation of Office Procedures, PhD Dissertation, Wharton School, Univ. of Pennsylvania, Philadelphia, 1977.Google Scholar