By Topic

An integrated environment for validating conceptual models

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

4 Author(s)
G. Willumsen ; Fac. of Electr. Eng. & Comput. Sci., Norwegian Inst. of Technol., Trondheim, Norway ; J. A. Gulla ; O. I. Lindland ; A. H. Seltveit

Conceptual models are constructed as part of the functional requirements specification process for information systems. Since these models are used actively during the design and implementation of the systems, an important task is to make sure that they really represent users' needs and intentions. For this purpose, validation techniques have been introduced. PPP (Phenomena, Processes, Program), an environment in which three different validation techniques, namely, model execution, view generation, and model presentation can be combined, is presented. The PPP language is described along with a simple process control example. The validation techniques are discussed, and, using an example, how the techniques are combined is illustrated. Related work and some tentative conclusions are given

Published in:

Computer-Aided Software Engineering, 1993. CASE '93., Proceeding of the Sixth International Workshop on

Date of Conference:

19-23 Jul 1993