[Jot-newsletter] [JOT] JOT Subscriber Newsletter Volume 14, no. 4 (September 2015)

JOT EIC editor at jot.fm
Tue Sep 29 10:00:26 CEST 2015


For Volume 14, no. 4 (September 2015)

I. Content


Popularity will NOT bring more contributions to your OSS project.
Javier Luis, Cánovas Izquierdo, Valerio Cosentino, Jordi Cabot



Using Slicing to Improve the Performance of Model Invariant Checking.
Wuliang Sun, Benoit Combemale, Robert B. France, Arnaud Blouin,
Benoit Baudry, Indrakshi Ray

  In Model Driven Development (MDD), it is important to ensure that a model
  conforms to the invariants defined in the metamodel. Such invariant
  checking can improve developers' understanding of modelled aspects of
  complex systems and uncover structural errors in design models.
  General-purpose rigorous analysis tools that check invariants are likely
  to perform the analysis over the entire metamodel and model. Since modern
  day software is exceedingly complex, the size of the model together with
  the metamodel can be very large.  Consequently, invariant checking can
  take a very long time. For example, checking a model consisting of 5,000
  elements can take up to several hours if the analysis completes. Moreover,
  sometimes the analysis process cannot be completed as the system resources
  get exhausted. To this end, we introduce model slicing within the
  invariant checking process, and use a slicing technique to reduce the size
  of the inputs in order to make invariant checking of large models feasible
  with existing tools. The evaluation we performed provides evidence that
  model slicing can significantly reduce the time to perform the invariant
  checking. In the experiments that we conducted, we achieved speedups
  ranging from 1.5 to 36.0 and we also demonstrate the correctness of the
  checking results.


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:

More information about the jot-newsletter mailing list