A knowledge-based system for improving the consistency between object models and use case narratives

Highlights? Improving consistency between object models and use case narratives. ? Knowledge-based system extension to an open source CASE tool to provide guidance. ? Assists analysts in identifying missing and invalid elements in object models. ? Evaluation confirms the effectiveness of such tools in object modeling. In today's systems development environments, object models are playing an increasingly important role in contributing to the agility and flexibility expected of the information systems being built. While current computer-aided software engineering tools can aid in creating object models, they do not provide much support in ensuring that the object models created are consistent with the specifications in use case narratives. This paper presents a methodology and a knowledge-based system to facilitate the verification of consistency of a given object model against a set of use case narratives. The methodology is implemented as a prototype knowledge-based extension to an open source CASE tool. The prototype's ability to reliably extract relevant information from use case narratives and its role in verifying the consistency of object models have been evaluated using a laboratory experiment. By analyzing use case narratives utilizing natural language processing techniques and applying collaboration patterns and heuristics, this methodology can determine missing and invalid model elements to guide the analyst in creating object models that are consistent with the requirements specified in a set of use case narratives. The results from this design science research indicate that the prototype system can be a useful tool to assist in this process.

[1]  Keng Siau,et al.  Unified Modeling Language: A Complexity Analysis , 2001, J. Database Manag..

[2]  Craig Larman,et al.  Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and the Unified Process , 2001 .

[3]  Keng Siau,et al.  Theoretical vs. Practical Complexity: The Case of UML , 2005, J. Database Manag..

[4]  Hermann Kaindl Active tool support for requirements engineering through RETH , 2004, Proceedings. 12th IEEE International Requirements Engineering Conference, 2004..

[5]  Alexander Egyed,et al.  Instant consistency checking for the UML , 2006, ICSE.

[6]  Owen Rambow,et al.  Conceptual modeling through linguistic analysis using LIDA , 2001, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.

[7]  E. Tansley,et al.  Using ontology to validate conceptual models , 2003, CACM.

[8]  Jill Nicola,et al.  Streamlined Object Modeling: Patterns, Rules, and Implementation [With CDROM] , 2001 .

[9]  José Ambrosio Toval Álvarez,et al.  A systematic review of UML model consistency management , 2009, Inf. Softw. Technol..

[10]  Licia Capra,et al.  xlinkit: a consistency checking and smart link generation service , 2002, TOIT.

[11]  Jeffrey Parsons,et al.  How UML is used , 2006, CACM.

[12]  Vijay K. Vaishnavi,et al.  Theory Development in Design Science Research: Anatomy of a Research Project , 2008 .

[13]  Nicholas P. Vitalari,et al.  Differences Between Novice and Expert Systems Analysts: What Do We Know and What Do We Do? , 1998, J. Manag. Inf. Syst..

[14]  Dinesh Batra Conceptual Data Modeling Patterns: Representation and Validation , 2005, J. Database Manag..

[15]  Ron Weber,et al.  Research Commentary: Information Systems and Conceptual Modeling - A Research Agenda , 2002, Inf. Syst. Res..

[16]  Samir Chatterjee,et al.  A Design Science Research Methodology for Information Systems Research , 2008 .

[17]  Sandeep Purao,et al.  Improving Analysis Pattern Reuse in Conceptual Design: Augmenting Automated Processes with Supervised Learning , 2003, Inf. Syst. Res..

[18]  Christian Lange,et al.  Improving the quality of UML models in practice , 2006, ICSE.

[19]  Dinesh Batra,et al.  CODASYS: a consulting tool for novice database designers , 2002, DATB.

[20]  Vijayan Sugumaran,et al.  The role of domain ontologies in database design: An ontology management and conceptual modeling environment , 2006, TODS.

[21]  Jürgen Börstler,et al.  Pedagogies and Tools for the Teaching and Learning of Object Oriented Concepts , 2007, ECOOP Workshops.

[22]  Alexander Egyed Consistent Adaptation and Evolution of Class Diagrams during Refinement , 2004, FASE.

[23]  Glenn D. Blank,et al.  A design-first curriculum for teaching Java in a CS1 course , 2005, SGCS.

[24]  Vijayan Sugumaran,et al.  Ontologies for conceptual modeling: their creation, use, and management , 2002, Data Knowl. Eng..

[25]  Jason E. Robbins,et al.  Software architecture critics in the Argo design environment , 1998, Knowl. Based Syst..

[26]  M. Morisio,et al.  Extending UML to support domain analysis , 2000, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering.

[27]  Petia Wohed Tool Support for Reuse of Analysis Patterns - A Case Study , 2000, ER.

[28]  Jason E. Robbins,et al.  Cognitive support, UML adherence, and XMI interchange in Argo/UML , 2000, Inf. Softw. Technol..

[29]  Tom Mens,et al.  A Framework for Managing Consistency of Evolving UML Models , 2005 .

[30]  Juan Sánchez,et al.  Improving Requirements Analysis through Business Process Modelling: A Participative Approach , 2008, BIS.

[31]  Hans-Erik Eriksson,et al.  UML 2 Toolkit , 2003 .

[32]  Roy Gelbard,et al.  Object-Oriented Analysis: Is It Just Theory? , 2010, IEEE Software.

[33]  Narasimha Bolloju Improving the quality of business object models using collaboration patterns , 2004, CACM.

[34]  Craig Larman,et al.  Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and Iterative Development (3rd Edition) , 1997 .

[35]  Rik Eshuis,et al.  Tool support for verifying UML activity diagrams , 2004, IEEE Transactions on Software Engineering.

[36]  Vijayan Sugumaran,et al.  A knowledge-based object modeling advisor for developing quality object models , 2012, Expert Syst. Appl..

[37]  Kai Koskimies,et al.  Annotating reusable software architectures with specialization patterns , 2001, Proceedings Working IEEE/IFIP Conference on Software Architecture.

[38]  Alan R. Hevner,et al.  Design Science in Information Systems Research , 2004, MIS Q..

[39]  Takuya Katayama,et al.  Consistency checking of UML model diagrams using the XML semantics approach , 2005, WWW '05.

[40]  Betty H. C. Cheng,et al.  Automatically Detecting and Visualising Errors in UML Diagrams , 2002, Requirements Engineering.

[41]  Salvatore T. March,et al.  Design and natural science research on information technology , 1995, Decis. Support Syst..

[42]  Sandeep Purao APSARA: a tool to automate system design via intelligent pattern retrieval and synthesis , 1998, DATB.