By Topic

Towards a logic model for object-oriented systems analysis and design

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

2 Author(s)
Kimbrough, S.O. ; Wharton Sch., Pennsylvania Univ., Philadelphia, PA, USA ; Vachula, W.J.

We sketch a logic model for representing systems analysis diagrams. The discussion is limited to diagrams from the OMT methodology of (Rumbaugh et al., 1991) although no genuine loss of generality results. In developing our logic model, we have followed where appropriate (for state transition diagrams) the logical representation theory developed by Parsons (1990) for the semantics of VP modifiers. That semantics, as does systems analysis, views the world in terms of states and events. That the logical representation techniques used by Parsons are so useful for systems analysis strongly suggests that the confluence of terminology is more than coincidence, more than superficial. Throughout we stress the useful deductions that can be made automatically with our logic model, deductions that are not possible automatically with mere diagrams. We conclude that the program of representing systems analysis diagrams in logic holds much promise

Published in:

System Sciences, 1997, Proceedings of the Thirtieth Hawaii International Conference on  (Volume:5 )

Date of Conference:

7-10 Jan 1997