The Requirements Apprentice: Automated Assistance for Requirements Acquisition
IEEE Transactions on Software Engineering
Representing and using nonfunctional requirements: a process-oriented approach
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Constraint diagrams: visualizing invariants in object-oriented models
Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
The Unified Modeling Language user guide
The Unified Modeling Language user guide
FASE '99 Proceedings of the Second Internationsl Conference on Fundamental Approaches to Software Engineering
OCL: Syntax, Semantics, and Tools
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
Modeling Languages: Syntax, Semantics and All That Stuff, Part I: The Basic Stuff
Modeling Languages: Syntax, Semantics and All That Stuff, Part I: The Basic Stuff
Validating UML models and OCL constraints
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Core meta-modelling semantics of UML: the pUML approach
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
UML behavior: inheritance and implementation in current object-oriented languages
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Model Mapping Using Formalism Extensions
IEEE Software
Constructing Meta-CASE Workbenches by Exploiting Visual Language Generators
IEEE Transactions on Software Engineering
Cost-based BDI plan selection for change propagation
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 1
A systematic review of UML model consistency management
Information and Software Technology
Frontiers of Computer Science: Selected Publications from Chinese Universities
| Hi-index | 0.00 |
Modeling aims to represent a system in a given formalism. As representations based on high level modeling languages can be interpreted in many ways, constraints are introduced to restrict the field of the possible. On the other hand, language semantics is defined using constraints as well. Within the context of the UML, a classification is proposed to clarify the nature of the constraints that must be fulfilled to ensure model correctness. Constraint violations are only warnings while others are serious. Depending on the kind and the context of the violation, help and advice can be supplied, and improvements may be conditionally done. In the UML, constraints are assertions described in a side-effect free language (OCL), while actions are not supplied. To extend capabilities, the constraints are translated intowell-using modeling rules that form the knowledge base of an expert system in modeling. This modeling companion is briefly outlined.