Resource Modeling for Timed Creol Models

This paper describes the semantics of a timed, resource-constrained extension of the Creol modeling language. Creol is an object-oriented modeling language with a design that is suited for modeling distributed systems. However, the computation model of Creol assumes infinite memory and infinite parallelism within an object. This paper describes a way to extend Creol with a notion of resource constraints and a way to quantitatively assess the effects of introducing resource constraints on a given model. We discuss possible semantics of message delivery under resource constraints, their implementation and their impact on the model. The method is illustrated with a case study modeling a biomedical sensor network.

• Type: Journal
• Year: 2010
• Where: ENTCS
• Authors: Rudolf Schlatte, Bernhard K. Aichernig, Andreas Griesmayer, Marcel Kyas
• Keywords: Creol, ENTCS 2010, Object-oriented Modeling Language, Resource Constraints