Lightweight Time Modeling in Timed Creol

Details Lightweight Time Modeling in Timed Creol Lightweight Time Modeling in Timed Creol

2010-09-22

arxiv.org/abs/1009.4262v1

EPTCS 36, 2010, pp. 67-81

Computer Science

Programming Languages

In Proceedings RTRTS 2010, arXiv:1009.3982

Scientific paper

10.4204/EPTCS.36.4

Creol is an object-oriented modeling language in which inherently concurrent objects exchange asynchronous method calls. The operational semantics of Creol is written in an actor-based style, formulated in rewriting logic. The operational semantics yields a language interpreter in the Maude system, which can be used to analyze models. Recently, Creol has been applied to the modeling of systems with radio communication, such as sensor systems. With radio communication, messages expire and, if sent simultaneously, they may collide in the air. In order to capture these and other properties of distributed systems, we extended Creol's operational semantics with a notion of time. We exploit the framework of a language interpreter to use a lightweight notion of time, in contrast to that needed for a general purpose specification language. This paper presents a timed extension of Creol, including the semantics and the implementation strategy, and discusses its properties using an extended example. The approach can be generalized to other concurrent object or actor-based systems.

Affiliated with

Also associated with

No associations

Rating

Lightweight Time Modeling in Timed Creol does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Lightweight Time Modeling in Timed Creol, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Lightweight Time Modeling in Timed Creol will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-637546