Verifying Component and Connector Models against Crosscutting Structural Views (extended abstract)

Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

The structure of component and connector (C&C) models, which are used in many application domains of software engineering, consists of components at different containment levels, their typed input and output ports, and the connectors between them. C&C views, presented in [MRR13], can be used to specify structural properties of C&C models in an expressive and intuitive way. This extended abstract reports on [MRR14], where we addressed the verification of a C&C model against a C&C view and presented efficient (polynomial) algorithms to decide satisfaction. A unique feature of our work, not present in existing approaches to checking structural properties of C&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. 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.

Original languageEnglish
Title of host publicationSoftware Engineering and Management 2015
Subtitle of host publicationMultikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW
EditorsUwe Assmann, Birgit Demuth, Thorsten Spitta, Georg Puschel, Ronny Kaiser
PublisherGesellschaft fur Informatik (GI)
Pages110-111
Number of pages2
ISBN (Electronic)9783885796336
StatePublished - 2015
EventSoftware Engineering and Management 2015: Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW - Software Engineering and Management 2015: Multiconference of the GI Special Interest Groups Software Engineering (SWT) and Information Systems (WI), FA WI-MAW - Dresden, Germany
Duration: 17 Mar 201520 Mar 2015

Publication series

NameLecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)
VolumeP-239
ISSN (Print)1617-5468

Conference

ConferenceSoftware Engineering and Management 2015: Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW - Software Engineering and Management 2015: Multiconference of the GI Special Interest Groups Software Engineering (SWT) and Information Systems (WI), FA WI-MAW
Country/TerritoryGermany
CityDresden
Period17/03/1520/03/15

Fingerprint

Dive into the research topics of 'Verifying Component and Connector Models against Crosscutting Structural Views (extended abstract)'. Together they form a unique fingerprint.

Cite this