To the top

Page Manager: Webmaster
Last update: 9/11/2012 3:13 PM

Tell a friend about this page
Print version

Design Abstraction of For… - University of Gothenburg, Sweden Till startsida
To content Read more about how we use cookies on

Design Abstraction of Formal Requirement Models within the Unified Modeling Language

Conference paper
Authors Lars Pareto
Published in Fifth Conference on Software Engineering Research and Practice in Sweden (SERPS2005)
Publication year 2005
Published at Department of Applied Information Technology (GU)
Language en
Subject categories Software Engineering


Design abstraction is a method to reduce state space sizes of software verification models; it allows also large software models to be verified. Design abstraction has long been used in conjunction with text-based approaches to software modeling and verification. Its use together with graphical such approaches is less common: most graphical modeling notations provide weaker support for design abstraction than text based notations do. This makes verification of large graphical models more difficult than verification of large text-based models. This paper shows how the graphical software modeling notation UML may be used to express some of the design abstractions that arise when large UML requirement models are subject to formal verification. The paper presents a dialect of UML to support design abstractions and exemplifies its use for requirements modeling of an embedded systems specification.

Page Manager: Webmaster|Last update: 9/11/2012

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?