Property-part diagrams: A dependence notation for software systems
Name
Jackson_Property part.pdf
Size
458.73 KB
Format
Adobe PDF
Checksum (MD5)
4bb62829b9accbd5df6a46b230af07ea
Author(s)
Jackson, Daniel
Kang, Eunsuk
Date Issued
May 2009
Journal
IEEE 31st International Conference on Software Engineering, 2009. ICSE 2009
Publisher
Institute of Electrical and Electronics Engineers
Citation
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.
Version
Author's final manuscript
Abstract
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.
Description
URL to conference site
MIT Department
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Terms of Use
Attribution-Noncommercial-Share Alike 3.0 Unported
Persistent DSpace Link
DOI of Published Version
http://www.cs.uoregon.edu/events/icse2009/CoLocatedEvents/
