Commit 816ef42a authored by Bernhard Rumpe's avatar Bernhard Rumpe
Browse files

BR

parent 195ef780
<h2>CD2Alloy: Class Diagrams Analysis Using Alloy</h2>
<br>
<p>
S. Maoz, J.O. Ringert. <b>Expressive and Faster Class Diagrams Analysis using a New Translation to Alloy</b>. Submitted.
<ul>
<li>New materials made available to reviewers.</li>
</ul>
</p>
<br>
<p>
S. Maoz, J. O. Ringert, B. Rumpe: <a href="<?php echo $ROOT_PATH; ?>publications/CD2Alloy-Class-Diagrams-Analysis-Using-Alloy-Revisited.pdf" target="_blank">
<b>CD2Alloy: Class Diagrams Analysis Using Alloy Revisited.</b></a>
In: Model Driven Engineering Languages and Systems (MODELS 2011), Wellington, New Zealand. pp. 592-607, LNCS 6981, 2011.
<ul><li> <a href="https://git.rwth-aachen.de/monticore/publications-additional-material/blob/master/cd2alloy/cd2alloy-plugin.zip">CD2Alloy plugin</a> prototype implementation plugin for Eclipse (Oct. 2012)
</li>
<li> <a href="https://git.rwth-aachen.de/monticore/publications-additional-material/blob/master/cd2alloy/CD2AlloyPluginReadme.pdf">CD2Alloy plugin readme and installation instructions</a> (Oct. 2012)
</li>
<li> <a href="https://git.rwth-aachen.de/monticore/publications-additional-material/blob/master/cd2alloy/cd2alloy-examplesproject.zip">Example CDs as Eclipse project</a> (Oct. 2012)
</li>
<li> <a href="https://git.rwth-aachen.de/monticore/publications-additional-material/blob/master/cd2alloy/CD2AlloyTranslationTR.pdf">CD2Alloy complete translation report</a> from CDs to Alloy and back to ODs (Oct. 2012)
</li>
</ul>
</p>
<?php
$ROOT_PATH = "../../";
$TITLE = "SE@RWTH : Materials : CD2Alloy";
include ($ROOT_PATH."layout/lib.php");
include ($ROOT_PATH."layout/header.php");
include ("content.php");
include ($ROOT_PATH."layout/footer.php");
?>
\ No newline at end of file
<h2>CD2Alloy: Class Diagrams Analysis Using Alloy</h2>
<p>
S. Maoz and J.O. Ringert. <b>Expressive and Faster Class Diagrams Analysis using a New Translation to Alloy</b>. Submitted.
<br><br>
Supporting materials:
<ul>
<li> <a href="https://git.rwth-aachen.de/monticore/publications-additional-material/blob/master/cd2alloy/CD2AlloyPluginReadme.pdf" target="_blank">CD2Alloy plugin readme and installation instructions</a>
</li>
<li> <a href="https://git.rwth-aachen.de/monticore/publications-additional-material/blob/master/cd2alloy/CD2AlloyEvaluationCDs.zip">Example CDs as Eclipse project</a> for import in workspace
</li>
<li> <a href="https://git.rwth-aachen.de/monticore/publications-additional-material/blob/master/cd2alloy/CD2AlloyAllSources.zip">CD2Alloy complete sources</a> to reproduce all experiments
</li>
<li> <a href="https://git.rwth-aachen.de/monticore/publications-additional-material/blob/master/cd2alloy/CD2AlloyExperimentsReadme.pdf" target="_blank">CD2Alloy readme on how to reproduce experiments</a>
</li>
</ul>
</p>
<?php
$ROOT_PATH = "../../../";
$TITLE = "SE@RWTH : Materials : CD2Alloy";
include ($ROOT_PATH."layout/lib.php");
include ($ROOT_PATH."layout/header.php");
include ("content.php");
include ($ROOT_PATH."layout/footer.php");
?>
\ No newline at end of file
<h2>Structural Views for Component and Connector Models</h2>
<a href="http://www.cs.tau.ac.il/~maozs/">S. Maoz</a>, J.O. Ringert, and B. Rumpe
<h3>Component and connector views</h3>
<p>
We present component and connector (C&amp;C) views, which specify
structural properties of component and connector models in an expressive and
intuitive way. C&amp;C views provide means to abstract away direct hierarchy,
direct connectivity, port names and types, and thus can crosscut the traditional
boundaries of the implementation-oriented hierarchical decomposition of systems
and sub-systems, and reflect the partial knowledge available to different
stakeholders involved in a system's design.
</p>
<b>C&amp;C views resources</b>
<ul><li> <a href="cncviews-plugin.zip">C&amp;C views synthesis and verification plug-in</a> prototype implementation
(download as Eclipse feature, compatible with version 3.6.2 or later (tested with Eclipse 4.2 Juno),
for Windows only), installation instructions in the readme below.
</li>
<li> <a href="MontiArcViewTR.pdf">C&amp;C views language definition</a>, syntax of MontiArcView explained with simple examples
</li>
</ul>
<h3>Verification</h3>
<p>
We address the verification of a C&amp;C model
against a C&amp;C view and present efficient (polynomial) algorithms to decide satisfaction.
A unique feature of our work, not present in existing approaches to
checking structural properties of C&amp;C models, is the generation of
witnesses for satisfaction/non-satisfaction and of short natural-language
texts, which serve to explain and formally justify
the verification results and point the engineer to its causes.
<br>
A prototype tool and an evaluation over four example
systems with multiple views, performance and scalability
experiments, as well as a user study of the usefulness of
the witnesses for engineers, demonstrate the contribution of
our work to the state-of-the-art in component and connector
modeling and analysis.
</p>
<b>Publications</b>
<p>
S. Maoz, J. O. Ringert, B. Rumpe:
<a href="../../publications/Verifying-Component-and-Connector-Models-against-Crosscutting-Structural-Views.pdf">
Verifying Component and Connector Models against Crosscutting Structural Views.</a>
In: 36th International Conference on Software Engineering (ICSE 2014).
Pages 95-105. Hyderabad, India, ACM New York, June 2014.
</p>
<b>Supporting materials for verification</b>
<ul>
<li> <a href="MontiArcViewVerificationAlgorithmsTR.pdf">Verification algorithm report</a>, includes the verification algorithm, correctness and completeness proofs, and witness generation algorithms.
</li>
<li> <a href="ArcVCheckPluginReadme.pdf">C&amp;C views verification plug-in readme</a>, includes screen captures and installation instructions for the plug-in.
</li>
<li> <a href="arcvcheck-evaluation.zip">Evaluation project</a>, includes C&amp;C views and C&amp;C views specifications, for use after the plug-in is installed.
</li>
<li> <a href="survey/survey-printed.pdf">C&amp;C views exercise (pdf)</a> of a user study and the <a href="survey/13.09.10.rawdata.xls">raw data of 22 entries</a>.
</li>
</ul>
<h3>Synthesis</h3>
<p>
As one application for C&amp;C views we investigate the synthesis problem:
given a C&amp;C views specification, consisting of mandatory, alternative, and
negative views, construct a concrete satisfying C&amp;C model, if one exists. We
show that the problem is NP-hard and solve it, in a bounded scope, using a
reduction to SAT, via Alloy. We further extend the basic problem with support
for library components, specification patterns, and architectural styles. The
result of synthesis can be used for further exploration, simulation, and
refinement of the C&amp;C model or, as the complete, final model itself, for
direct code generation.
<br>
A prototype tool and an
evaluation over three case studies show promising results and suggest
interesting future research directions towards a comprehensive design
environment for architecture synthesis.
</p>
<b>Publications</b>
<p>
S. Maoz, J. O. Ringert, B. Rumpe:
<a href="../../publications/Synthesis-of-Component-and-Connector-Models-from-Crosscutting-Structural-Views.pdf" target="_blank">
Synthesis of Component and Connector Models from Crosscutting Structural Views. </a>
Joint Meeting of the European Software Engineering Conference and
the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'13), Eds.: B. Meyer, L. Baresi, M. Mezini, pages 444-454, ACM New York, 2013.
</p>
<b>Supporting materials for synthesis</b>
<ul><li> <a href="ArcVSynthPluginReadme.pdf">C&amp;C views synthesis plug-in readme</a>, includes screen captures and installation instructions for the plug-in.
</li>
<li> <a href="arcvsynth-evaluation.zip">Evaluation project</a>, includes C&amp;C views and C&amp;C views specifications, for use after the plug-in is installed.
</li>
<li> <a href="MontiArcViewSynthesisEvaluationTR.pdf">Case studies details document</a>, includes all C&amp;C views, C&amp;C views specifications, and synthesized C&amp;C models referenced in the paper.
</li>
</ul>
<?php
$ROOT_PATH = "../../";
$TITLE = "SE@RWTH : Component and Connector Views";
include ($ROOT_PATH."layout/lib.php");
include ($ROOT_PATH."layout/header.php");
include ("content.php");
include ($ROOT_PATH."layout/footer.php");
?>
\ No newline at end of file
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment