C&C Views Synthesis Plug-In README

February 2013

S. Maoz, J. O. Ringert, and B. Rumpe available from http://www.se-rwth.de/materials/cncviews/

Part of supporting materials for:

S. Maoz, J. O. Ringert, and B. Rumpe. Synthesis of Component and Connector Models from Crosscutting Structural Views. Submitted.

README outline

• How to install the plug-in

• The evaluation project

• Example annotated screen captures

Installing the plug-in

• The plug-in is available for download from http://www.se-rwth.de/materials/cncviews/cncviews-plugin.zip

• Tested on Eclipse 3.6.2, Eclipse 3.7, and Eclipse 4.2 • Works ONLY on WINDOWS OS

– Requires a 32-Bit JRE (SAT solver integrated via 32-Bit JNI)

• Installation – Use Eclipse’s “Help -> Install new Software…-> Add” to add the feature – With Eclipse Juno 4.2 you may use this URL:

jar:http://www.se-rwth.de/materials/cncviews/cncviews-plugin.zip!/ – With earlier versions of Eclipse

• download and unzip arcvsynth-plugin.zip • use “local” update site and point to directory of unzipped

– Uncheck “Group items by category” – Select and install “MontiArcViewFeature”

Evaluation project

• An eclipse project with all the case studies mentioned in the paper is available from http://www.se-rwth.de/materials/cncviews/arcvsynth-evaluation.zip

• Import the evaluation project into the workspace (use eclipse’s “import…”)

• The plug-in is required in order to run the examples from the case studies

Files: .arcv and .arcvspec

Browse view (.arcv) and spec (.arcvspec) files

Open / edit .arcv file

Edit a view file (the screen capture shows the “BodySensorIn” C&C view).

Run synthesis

To run synthesis, right click on the arcvspec file and select “Synthesize ArcV”

Synthesis in progress

Wait for synthesis results, it may take a few minutes…

Synthesis results

If synthesis is successful, a new C&C model file is generated

Synthesis results

Browse the generated C&C model

Edit spec views

Add / remove views from the specification

Edit spec Boolean expression

View the Boolean expression (each line is a conjunct)

Add / edit conjuncts of different kinds (disjunction (or), exclusive

disjunction (xor), implication)

Example dialog to add/edit an implication

Edit spec architecture style

Specification’s style

Define style parameters (client/server style in this example)

Select architecture style

Notes

• Create a new spec file using eclipse’s menu “new -> other… -> C&C Views -> New C&C Views Specification”

• View (.arcv) and component (.arc) files used in a spec file must reside in or under the location directory of the spec file

• Notes about architecture style parameters follow

Architecture style parameters

• No parameters are required for the hierarchical style

• For client / server, enter the name of the server component and the list of its clients server=serverCompName clients=clientCompName1,clientCompName2

• For layered architecture style, enter the list of layers, one layer per line, in order. For each layer add list of components (if any) layerName1=comp1,comp2 layerName2=comp3