• Computer Science
  • Published in
    Journal of Software…
    2005
  • DOI:10.1002/smr.321

Component composition errors and update atomicity: static analysis

@article{Admek2005ComponentCE,
  title={Component composition errors and update atomicity: static analysis},
  author={Jir{\'i} Ad{\'a}mek and Frantisek Plasil},
  journal={Journal of Software Maintenance},
  year={2005},
  volume={17},
  pages={363-377}
}
Dynamic evolution inherently involves dynamic update and the issue of its atomicity. We show how this issue can be addressed in a similar manner to a communication failure via an extension to behavior protocols. First, we discuss the problem of defining a composition operator for behavior protocols so as to be able to reflect communication failures. Classical architecture description languages (ADLs) supporting behavior description, such as Wright and TRACTA, use a CSP-like parallel composition… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 51 CITATIONS

Design verification in model-based μ-controller development using an abstract component

  • Software & Systems Modeling
  • 2010
VIEW 6 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Enhancing Behavior Protocols with Atomic Actions ∗ Technical report

VIEW 4 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Erroneous architecture is a relative concept

  • IASTED Conf. on Software Engineering and Applications
  • 2004
VIEW 5 EXCERPTS
CITES METHODS & BACKGROUND

Addressing Unbounded Parallelism in Verification of Software Components

  • Seventh ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD'06)
  • 2006
VIEW 4 EXCERPTS
CITES METHODS

Compatibility in a multi-component environment

  • Theor. Comput. Sci.
  • 2013
VIEW 1 EXCERPT
CITES BACKGROUND

FILTER CITATIONS BY YEAR

2004
2015

CITATION STATISTICS

  • 3 Highly Influenced Citations