Resource Modeling for Timed Creol Models

Authors:
Rudolf Schlatte;Bernhard Aichernig;Andreas Griesmayer;Marcel Kyas
Affiliations:
Institute for Software Technology, Graz University of Technology, Austria and International Institute for Software Technology, United Nations University, Macao S.A.R., China;Institute for Software Technology, Graz University of Technology, Austria and International Institute for Software Technology, United Nations University, Macao S.A.R., China;International Institute for Software Technology, United Nations University, Macao S.A.R., China;Department of Computer Science, Freie Universität Berlin, Germany
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2010

Citing 10
Cited 0

MULTILISP: a language for concurrent symbolic computation

ACM Transactions on Programming Languages and Systems (TOPLAS)
Conditional rewriting logic as a unified model of concurrency

Selected papers of the Second Workshop on Concurrency and compositionality
Maude: specification and programming in rewriting logic

Theoretical Computer Science - Rewriting logic and its applications
Eliminating stack overflow by abstract interpretation

ACM Transactions on Embedded Computing Systems (TECS)
Abstractions for safe concurrent programming in networked embedded systems

Proceedings of the 4th international conference on Embedded networked sensor systems
Model checking service compositions under resource constraints

Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
TinyOS Programming

TinyOS Programming
A Real-Time Extension of Creol for Modelling Biomedical Sensors

Formal Methods for Components and Objects
A complete guide to the future

ESOP'07 Proceedings of the 16th European conference on Programming
Modeling and validating distributed embedded real-time systems with VDM++

FM'06 Proceedings of the 14th international conference on Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.