Towards Formal Specification of PaperLess Office Systems

Abstract

Abstract—The Center for Information and Communication
Technology Services of Gadjah Mada University runs a kind of
formal office communication system called PLO (stands for
PaperLess Office). Developed to serve ad hoc needs of the center,
the system evolves for several years without proper
documentation. Several attempt store write the system failed due
to the lack of the documentations. Judging from the fact that it has
been serving the institution well for several years, the system can
be treated as a user requirement. A formal specification is written
based on it.
Keywords—formal specification; paperless office; information
system