Now showing items 1-4 of 4
Finite model reasoning on UML class diagrams via constraint programming
Finite model reasoning in UML class diagrams is an important task for assessing the quality of the analysis phase in the development of software applications in which it is assumed that the number of objects of the domain ...
A foundational vision of e-services
In this paper we propose a foundational vision of e-Services, in which we distinguish between the external behavior of an e-Service as seen by clients, and the internal behavior as seen by a deployed application running ...
2ATAs make DLs easy
In this paper we demonstrate that two-way alternating automata on infinite trees (2ATAs) provide a very elegant and effective formal tool for addressing reasoning in expressive DLs. Indeed, the encoding of a DL concept (to ...
A formal framework for reasoning on UML class diagrams
In this paper we formalize UML class diagrams in terms of a logic belonging to Description Logics, which are subsets of First-Order Logic that have been thoroughly investigated in Knowledge Representation. The logic we ...