c&c views synthesis plug-in readme - se rwth aachen
TRANSCRIPT
![Page 1: C&C views synthesis plug-in readme - SE RWTH Aachen](https://reader030.vdocuments.us/reader030/viewer/2022032721/623d5cfcf6b9e620af212a06/html5/thumbnails/1.jpg)
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.
![Page 2: C&C views synthesis plug-in readme - SE RWTH Aachen](https://reader030.vdocuments.us/reader030/viewer/2022032721/623d5cfcf6b9e620af212a06/html5/thumbnails/2.jpg)
README outline
• How to install the plug-in
• The evaluation project
• Example annotated screen captures
![Page 3: C&C views synthesis plug-in readme - SE RWTH Aachen](https://reader030.vdocuments.us/reader030/viewer/2022032721/623d5cfcf6b9e620af212a06/html5/thumbnails/3.jpg)
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”
![Page 4: C&C views synthesis plug-in readme - SE RWTH Aachen](https://reader030.vdocuments.us/reader030/viewer/2022032721/623d5cfcf6b9e620af212a06/html5/thumbnails/4.jpg)
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
![Page 5: C&C views synthesis plug-in readme - SE RWTH Aachen](https://reader030.vdocuments.us/reader030/viewer/2022032721/623d5cfcf6b9e620af212a06/html5/thumbnails/5.jpg)
Files: .arcv and .arcvspec
Browse view (.arcv) and spec (.arcvspec) files
![Page 6: C&C views synthesis plug-in readme - SE RWTH Aachen](https://reader030.vdocuments.us/reader030/viewer/2022032721/623d5cfcf6b9e620af212a06/html5/thumbnails/6.jpg)
Open / edit .arcv file
Edit a view file (the screen capture shows the “BodySensorIn” C&C view).
![Page 7: C&C views synthesis plug-in readme - SE RWTH Aachen](https://reader030.vdocuments.us/reader030/viewer/2022032721/623d5cfcf6b9e620af212a06/html5/thumbnails/7.jpg)
Run synthesis
To run synthesis, right click on the arcvspec file and select “Synthesize ArcV”
![Page 8: C&C views synthesis plug-in readme - SE RWTH Aachen](https://reader030.vdocuments.us/reader030/viewer/2022032721/623d5cfcf6b9e620af212a06/html5/thumbnails/8.jpg)
Synthesis in progress
Wait for synthesis results, it may take a few minutes…
![Page 9: C&C views synthesis plug-in readme - SE RWTH Aachen](https://reader030.vdocuments.us/reader030/viewer/2022032721/623d5cfcf6b9e620af212a06/html5/thumbnails/9.jpg)
Synthesis results
If synthesis is successful, a new C&C model file is generated
![Page 10: C&C views synthesis plug-in readme - SE RWTH Aachen](https://reader030.vdocuments.us/reader030/viewer/2022032721/623d5cfcf6b9e620af212a06/html5/thumbnails/10.jpg)
Synthesis results
Browse the generated C&C model
![Page 11: C&C views synthesis plug-in readme - SE RWTH Aachen](https://reader030.vdocuments.us/reader030/viewer/2022032721/623d5cfcf6b9e620af212a06/html5/thumbnails/11.jpg)
Edit spec views
Add / remove views from the specification
![Page 12: C&C views synthesis plug-in readme - SE RWTH Aachen](https://reader030.vdocuments.us/reader030/viewer/2022032721/623d5cfcf6b9e620af212a06/html5/thumbnails/12.jpg)
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
![Page 13: C&C views synthesis plug-in readme - SE RWTH Aachen](https://reader030.vdocuments.us/reader030/viewer/2022032721/623d5cfcf6b9e620af212a06/html5/thumbnails/13.jpg)
Edit spec architecture style
Specification’s style
Define style parameters (client/server style in this example)
Select architecture style
![Page 14: C&C views synthesis plug-in readme - SE RWTH Aachen](https://reader030.vdocuments.us/reader030/viewer/2022032721/623d5cfcf6b9e620af212a06/html5/thumbnails/14.jpg)
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
![Page 15: C&C views synthesis plug-in readme - SE RWTH Aachen](https://reader030.vdocuments.us/reader030/viewer/2022032721/623d5cfcf6b9e620af212a06/html5/thumbnails/15.jpg)
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