OCL libraries for software specification and representation

Abstract

The OCL 2.4 standard library has a relatively small set of operations for primitive types, and no facilities for common software aspects such as processes and files. In this paper we identify requirements for extended library facilities, based on examination of related specification languages, and on consideration of the need to represent program semantics for software migration. We outline possible libraries and provide example implementations.