By Topic

Task-based specifications through conceptual graphs

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

3 Author(s)
Lee, J. ; Nat. Central Univ., Chung-Li, Taiwan ; Lai, L.F. ; Haung, W.T.

Conceptual modeling is an important step toward the construction of user requirements. Requirements engineering is knowledge intensive and cannot be dealt with using only a few general principles. Therefore, a conceptual model is domain oriented and should represent the richer semantics of the problem domain. The conceptual model also helps designers communicate among themselves and with users. To capture and represent a conceptual model for the problem domain, we need: mechanisms to structure the knowledge of the problem domain at the conceptual level, which has the underlying principles of abstraction and encapsulation; and formalisms to represent the semantics of the problem domain and to provide a reasoning capability for verification and validation. We propose the task based specification methodology as the mechanism to structure the knowledge captured in conceptual models. TBSM offers four main benefits for constructing conceptual models, which are outlined. We propose conceptual graphs as the formalism to express task based specifications where the task structure of problem solving knowledge drives the specification, the pieces of the specification can be iteratively refined, and verification can be performed for a single layer or between layers. We chose conceptual graphs for their expressive power to represent both declarative and procedural knowledge, and for their assimilation capability-that is, their ability to be combined

Published in:

IEEE Expert  (Volume:11 ,  Issue: 4 )