article · 2005

Class Diagram Formal Specification Design Pattern

Ian Oliver

Cited by 0Abstract and details only

Abstract

Formally specified invariants on UML models greatly enhance the correctness of the model by restricting the state space such that invalid scenarios that are admitted by the class diagram can be forbidden. Identification of these invariants in the situations where objects may or may not be shared is critical to the development of the model. Simple patterns based upon “shapes ” or patterns that exist in the class diagram can be applied to assist the developer in finding suitable places for these invariants and thus improving the preciseness or rigor of the models and the correctness of the system under development.

Cite this paper

APA 7

Oliver, I. (2005). Class Diagram Formal Specification Design Pattern.

MLA 9

Oliver, Ian. “Class Diagram Formal Specification Design Pattern.” 2005.

Chicago

Oliver, Ian. 2005. “Class Diagram Formal Specification Design Pattern.”

Harvard

Oliver, I. (2005) ‘Class Diagram Formal Specification Design Pattern’.

BibTeX

@article{oliver2005class,
  title = {{Class Diagram Formal Specification Design Pattern}},
  author = {Oliver, Ian},
  year = {2005}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.