By Topic

Modelling and validating office information systems: an object and logic oriented approach

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 $33
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

2 Author(s)
P. Loucopoulos ; Dept. of Comput., Univ. of Manchester Inst. of Sci. & Technol., UK ; V. Karakostas

Developing information systems for the office environment of today requires powerful representation formalisms and techniques capable of modelling all office elements. Furthermore, these formalisms should provide appropriate facilities for the validation of a conceptual schema. It is argued that an office modelling approach should provide semantic account for the various aspects of the schema, as well as facilities for simulating its behaviour. A conceptual modelling language is presented that combines the object oriented and logic programming paradigms, and it is demonstrated how this language can be used to validate the conceptual design of an office information system

Published in:

Software Engineering Journal  (Volume:4 ,  Issue: 2 )