Conference Proceeding

An integrated framework with UML and Object-Z for developing aprecise and understandable specification: the light control case study

Dept. of Comput. Sci. & Electr. Eng., Queensland Univ., Brisbane, Qld.;
02/2000; DOI:10.1109/APSEC.2000.896705 ISBN: 0-7695-0915-0 In proceeding of: Software Engineering Conference, 2000. APSEC 2000. Proceedings. Seventh Asia-Pacific
Source: IEEE Xplore

ABSTRACT Presents a framework that integrates a graphical specification technique (UML) with a formal specification technique (Object-Z) to support requirements elicitation and analysis activities. Various UML diagrams are used to specify the system from different concerns during the early requirements elicitation and analysis stage. The information captured in the diagrams is used to develop a complete Object-Z specification. This paper presents a semantic translation from statechart diagrams to Object-Z specifications. Finally, based on information captured in sequence diagrams and use case diagrams, a functional model of the whole system is formally defined. The case study used in this paper is a real-time, interactive and embedded system: a light control system

0 0
 · 
0 Bookmarks
 · 
13 Views
Data provided are for informational purposes only. Although carefully collected, accuracy cannot be guaranteed. The impact factor represents a rough estimation of the journal's impact factor and does not reflect the actual current impact factor. Publisher conditions are provided by RoMEO. Differing provisions from the publisher's actual policy or licence agreement may be applicable.

Keywords

case study
 
complete Object-Z specification
 
different concerns
 
formal specification technique
 
functional model
 
graphical specification technique
 
integrates
 
light control system
 
Object-Z
 
Object-Z specifications
 
paper presents
 
real-time
 
requirements elicitation
 
sequence diagrams
 
statechart diagrams
 
support requirements elicitation
 
UML
 
use case diagrams
 
Various UML diagrams
 
whole system