Paper Info
Title
Validation of UML Classes through Animation
Abstract
Animation is the validation of formal software specifications by means of automatically generated prototypes. Animation is an effective way of validating a specification against the stakeholder requirements. OASIS is a formal language for conceptual modeling. We have carried out experiments animating OASIS specifications. In this work we take advantage of our experience animating OASIS specifications to provide animation support for UML classes. We illustrate that it is possible to use OASIS as a formal semantic framework for UML specifications. Obviously, OASIS does not cover as many model aspects as UML. We will concentrate on some UML diagrams, particularly in classes modeled in class diagrams to validate them through animation. To explain our approach, we give an example of a bank account and we show its UML model and its corresponding OASIS specification. Our aim is to build a module for animation and validation of specifications integrated in a CASE tool. We present a prototype of this module.
Year
DOI
Venue
2002
10.1007/978-3-540-45275-1_27
ADVANCED CONCEPTUAL MODELING TECHNIQUES
Keywords
Field
DocType
class diagram,case tool,software specification,conceptual model,formal semantics
Programming language,UML tool,Unified Modeling Language,Computer science,Activity diagram,Communication diagram,Applications of UML,Animation,Computer-aided software engineering,Database,Class diagram
Conference
Volume
ISSN
Citations 
2784
0302-9743
1
PageRank 
References 
Authors
0.37
7
2
Name
Order
Citations
PageRank
Patricio Letelier112716.13
Pedro Sánchez219518.13