scientific article; zbMATH DE number 2089475

MaRDI QIDQ3046903zbMATH OpenFDO

Authors Andrea Calí, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini

Publication date 12 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2366/23660503.htm

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• Reasoning on UML class diagrams
• Toward reasoning with unified modeling language diagrams based on extensible markup language declarative description theory
• Querying UML class diagrams
• On the semantics of unified modeling language diagrams using Z notation
• Formalising the UML in structured temporal theories

Cited in

(11)

• Reasoning on UML class diagrams
• Querying UML class diagrams
• Formalization of the UML class diagrams
• Toward reasoning with unified modeling language diagrams based on extensible markup language declarative description theory
• scientific article; zbMATH DE number 5952385 (Why is no real title available?)
• scientific article; zbMATH DE number 1348742 (Why is no real title available?)
• scientific article; zbMATH DE number 2013591 (Why is no real title available?)
• scientific article; zbMATH DE number 2085183 (Why is no real title available?)
• scientific article; zbMATH DE number 1839450 (Why is no real title available?)
• Towards an institutional framework for heterogeneous formal development in UML -- a position paper
• Reasoning on temporal class diagrams: Undecidability results

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3046903)