Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Reasoning on UML conceptual schemas with operations

Autor
Queralt, A.; Teniente, E.
Tipus d'activitat
Article en revista
Revista
Lecture notes in computer science
Data de publicació
2009-01
Volum
5565
Pàgina inicial
47
Pàgina final
62
DOI
https://doi.org/10.1007/978-3-642-02144-2_9 Obrir en finestra nova
URL
https://link.springer.com/chapter/10.1007/978-3-642-02144-2_9 Obrir en finestra nova
Resum
A conceptual schema specifies the relevant information about the domain and how this information changes as a result of the execution of operations. The purpose of reasoning on a conceptual schema is to check whether the conceptual schema is correctly specified. This task is not fully formalizable, so it is desirable to provide the designer with tools that assist him or her in the validation process. To this end, we present a method to translate a conceptual schema with operations into logic, an...
Paraules clau
Conceptual Modeling, Automatic Reasoning, Operation Contracts
Grup de recerca
IMP - Information Modeling and Processing

Participants