A Type Framework for Modeling Data Objects in Software Engineering

Data object modeling in software engineering is a process to creatively extract and abstractly represent a real-world problem with computing objects based on the constraints of given computing resources. Data object models form the architecture of an application system. Then, behaviors of the system may be embodied onto the data objects. This paper presents a formal type system, which is a collection of all type rules for real-time process algebra (RTPA). The formal type framework forms a foundation to model data objects in software engineering.