Verifying component and connector models against crosscutting structural views

Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe

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, which we have presented at FSE'13, can be used to specify structural properties of C&C models in an expressive and intuitive way.

BibTeX

@inproceedings{Maoz-al:ICSE14,
  author    = {Shahar Maoz and
               Jan Oliver Ringert and
               Bernhard Rumpe},
  title     = {Verifying component and connector models against crosscutting structural views},
  booktitle = {ICSE},
  pages     = {95--105},
  publisher = {{ACM}},
  year      = {2014},
}

Verifying component and connector models against crosscutting structural views

Abstract

Related papers