Property-part diagrams: A dependence notation for software systems
Author(s)Jackson, Daniel; Kang, Eunsuk
MetadataShow full item record
Some limitations of traditional dependence diagrams are explained, and a new notation that overcomes them is proposed. The key idea is to include in the diagram not only the parts of a system but also the properties that are assigned to them; dependences are shown as a relation not from parts to parts, but between properties and the parts (or other properties) that support them. The diagram can be used to evaluate modularization in a design, to assess how successfully critical properties are confined to a limited subset of parts, and to structure a dependability argument.
URL to conference site
DepartmentMassachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
IEEE 31st International Conference on Software Engineering, 2009. ICSE 2009
Institute of Electrical and Electronics Engineers
Jackson, Daniel and Eunsuk Kang. "Property-part diagrams: A dependence notation for software systems." ICSE Workshop: A Tribute to Michael Jackson, Vancouver, May 2009, IEEE 31st International Conference on Software Engineering, 2009. ICSE 2009.
Author's final manuscript