Specification of integrity-preserving operations in information systems by using a formal UML-based language.
Regine LaleauFiona PolackPublished in: Inf. Softw. Technol. (2001)
Keyphrases
- specification language
- formal specification
- information systems
- conceptual models
- formal methods
- formal language
- requirements specification
- operational semantics
- formal languages
- conceptual modeling
- programming language
- modeling language
- formal ontologies
- conceptual model
- activity diagrams
- specification languages
- model checking
- description language
- uml class diagrams
- abstract data types
- action language
- information technology
- object oriented
- software engineering
- uml diagrams
- natural language
- unified modeling language
- constraint language
- language constructs
- sequence diagrams
- formal semantics
- requirements analysis
- requirements engineering
- visual languages
- class diagram
- highly expressive
- algebraic operations
- high level
- reactive systems
- mathematical theory
- software systems
- database design
- software development
- systems development
- formal representation
- databases
- uml models
- data model
- business rules