From system specifications to component behavioral models
by Ivo Krka, George Edwards, Yuriy Brun, Nenad Medvidovic
Abstract:
Early system specifications, such as use-case scenarios and properties, are rarely complete. Partial models of system-level behavior, derived from these specifications, have proven useful in early system analysis. We believe that the scope of possible analyses can be enhanced by component-level partial models. In this paper, we outline an algorithm for deriving a component-level Modal Transition System (MTS) from system-level scenario and property specifications. The generated MTSs capture the possible component implementations that (1) necessarily provide the behavior required by the scenarios, (2) restrict behavior forbidden by the properties, and (3) leave the behavior that is neither explicitly required nor forbidden as undefined. We discuss how these generated models can help discover system design flaws, support requirements elicitation, and help select off-the-shelf components.
Citation:
Ivo Krka, George Edwards, Yuriy Brun, and Nenad Medvidovic, From system specifications to component behavioral models, in Proceedings of the New Ideas and Emerging Results Track at the 31st International Conference on Software Engineering (ICSE), 2009, pp. 315–318.
Related:
Extended and revised in "Synthesizing partial component-level behavior models from system specifications" in FSE 2009. A previous version appeared as University of Southern California, Center for Software Engineering technical report USC-CSSE-2008-821.
Bibtex:
@inproceedings{Krka09icse-nier,
  author = {Ivo Krka and George Edwards and Yuriy Brun and Nenad Medvidovic},
  title =
  {\href{http://people.cs.umass.edu/brun/pubs/pubs/Krka09icse-nier.pdf}{From
  system specifications to component behavioral models}},
  booktitle = {Proceedings of the New Ideas and Emerging Results Track at the
  31st International Conference on Software Engineering (ICSE)},
  venue = {ICSE NIER},
  address = {Vancouver, Canada},
  month = {May},
  date = {16--24},
  year = {2009},
  pages = {315--318},
  doi = {10.1109/ICSE-COMPANION.2009.5071010},
  accept = {$\frac{21}{119} \approx 18\%$},

  note = {Extended and revised in~\cite{}{Krka09fse}. A previous
  version appeared as University of Southern California, Center for Software
  Engineering technical report USC-CSSE-2008-821.
  \href{http://dx.doi.org/10.1109/ICSE-COMPANION.2009.5071010}{DOI:
  10.1109/ICSE-COMPANION.2009.5071010}},

  previous = {Extended and revised in "Synthesizing partial component-level
  behavior models from system specifications" in FSE 2009.  A previous version
  appeared as University of Southern California, Center for Software Engineering
  technical report USC-CSSE-2008-821.},

  abstract = {Early system specifications, such as use-case scenarios and
  properties, are rarely complete. Partial models of system-level behavior,
  derived from these specifications, have proven useful in early system
  analysis. We believe that the scope of possible analyses can be enhanced by
  component-level partial models. In this paper, we outline an algorithm for
  deriving a component-level Modal Transition System (MTS) from system-level
  scenario and property specifications. The generated MTSs capture the
  possible component implementations that (1) necessarily provide the behavior
  required by the scenarios, (2) restrict behavior forbidden by the
  properties, and (3) leave the behavior that is neither explicitly required
  nor forbidden as undefined. We discuss how these generated models can help
  discover system design flaws, support requirements elicitation, and help
  select off-the-shelf components.},
}