Metamodel-Compliance Checking of Requirements in a Semiformal Representation

Abstract. Checking requirements is highly desirable but hard to achieve in practice, where only word processors are used in most projects. While in this case reviews are more or less the only means, formal representations allow for a variety of automated checks. Unfortunately, formal representations of requirements are rarely available in real-world projects. Semiformal representations are easier to obtain and still offer some possibilities for automated checks. Based on an object-oriented hypertext representation, we present an implemented approach for compliance checks against a metamodel.

• Type: Conference
• Year: 2003
• Where: CAISE
• Authors: Hermann Kaindl, Stefan Kramer, Mario Hailing, Vahan Harput
• Keywords: CAISE 2003, Checking Requirements, Formal Representations, Object-oriented Hypertext Representation