[Jot-newsletter] [JOT] JOT Subscriber Newsletter Volume 13, no. 6 (December 2014)

JOT Editor editor at jot.fm
Tue Dec 30 17:20:31 CET 2014


JOT SUBSCRIBER NEWSLETTER

For Volume 13, no. 6 (December 2014)

=======================================================================
I. Letter from the JOT Editor
=======================================================================

Dear Readers,

Welcome to the final JOT of 2014! We wish you all the best for 2015.

Laurence Tratt
Editor-in-Chief, Journal of Object Technology
editor at jot.fm -- http://www.jot.fm

=======================================================================
II. Content
=======================================================================

ARTICLES
----------

On using pre and postconditions to tackle the aspect scheduling problem
  by rewriting systems: a design-level approach.
By Toufik Benouhiba, Amina Boudjedir

The aspect-oriented paradigm promises separation of crosscutting concerns by
modularizing them as aspects. This paradigm allows then weaving aspects upon
some points in the base system. Unfortunately, the interaction of aspects
may have an undesirable effect on each other and/or on the base system if
they are executed in any order. Many works tried to solve this problem but
the proposed solutions were either limited to some simple models of aspects
or used to check if a set of temporal properties is preserved when aspects
are introduced. In this paper, we propose a framework based on extended UML
diagrams (class and state/transition diagrams) in order to make the
detection of undesirable interaction more powerful and realistic.  This
framework relies on finite state automata (FSA); it transforms the
interaction problem into a reachability issue. In fact, bad interaction is
expressed as a generic LTL property which is independent of the system to be
verified. This property can be checked using any model-checker like Maude.
To concretize the proposed framework, we propose a rewriting system that
allows an implicit construction of the FSA of the base system and the
aspects in addition to the aspects composition and the weaving mechanism.
Therefore, the proposed system defines a translation scheme of UML models
into rewriting logic specifications written in Maude language. Thanks to the
advances of the on-the-fly technique in Maude, the use of its LTL
model-checker avoids a systematic exploration of all possible combinations
of the aspects. The approach will be illustrated by a case study in order to
explain how it works.

http://dx.doi.org/10.5381/jot.2014.13.6.a1

=======================================================================
III. About JOT
=======================================================================

The Journal of Object Technology (JOT) is a peer-reviewed, open-access
journal dedicated to the timely publication of previously unpublished
research articles, surveys, tutorials, and technical notes on all aspects of
object technology.

JOT is available online at http://www.jot.fm and is free to both readers and
authors, with no registration required.

-----------------------------------------------------------------------
The JOT newsletter is sent with the publication of selected JOT issues and
is available by subscription to the JOT reader and author community. The
subscription form may be found on the JOT Web site. Subscribing requires no
personal information or fee, only your email address. We use such addresses
for the sole purpose of distributing the JOT newsletter and do not
communicate them to third parties.
-----------------------------------------------------------------------
You are receiving this newsletter because you have subscribed to
	jot-newsletter at jot.fm
To unsubscribe, please use the mailman interface:
	http://www.jot.fm/cgi-bin/mailman/listinfo/jot-newsletter
-----------------------------------------------------------------------


More information about the jot-newsletter mailing list