Consistency Maintenance of UML Models with Description Logics

@inproceedings{Simmonds2003ConsistencyMO,
  title={Consistency Maintenance of UML Models with Description Logics},
  author={Jocelyn Simmonds},
  year={2003}
}
Nowadays, the prevailing methodology used to specify software designs is UML. This language consists of various types of diagrams, each one dedicated to a different design aspect. This variety of views, that overlap with respect to the information depicted in each, can leave the overall system design specification in an inconsistent state. Necessarily, some form of consistency checking must be performed between different UML models. This is especially true in the context of design evolution… CONTINUE READING

Citations

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

References

Publications referenced by this paper.
SHOWING 1-10 OF 47 REFERENCES

LOOM reference manual. University of Southern California, Information Sciences Institute, version 2.0

  • David Brill
  • edition, December
  • 1993
Highly Influential
8 Excerpts

RACER UserÕs Guide and Reference Manual

  • Volker Haarslev, Ralf Möller
  • Concordia University and Univ. of Appl. Sciences…
  • 2002
Highly Influential
2 Excerpts

Möeller. RACE System Description

  • Volker Haarslev, Ralf
  • In International Workshop on Description Logics…
  • 1999
Highly Influential
3 Excerpts

A UML extension for automating source-consistent design improvements based on refactoring contracts

  • Pieter Van Gorp, Hans Stenten, Tom Mens, Serge Demeyer
  • In Proc. 6th International Conference on the…
  • 2003
1 Excerpt

An example of Object-Oriented Design: An ATM

  • Russell C. Bjork
  • Simulation, April
  • 2003

Similar Papers

Loading similar papers…