El objetivo general de este proyecto, en el marco de las recomendaciones del World Wide Web Conso... more El objetivo general de este proyecto, en el marco de las recomendaciones del World Wide Web Consortium (W3C), es el desarrollo de las herramientas necesarias para la creación de la infraestructura de soporte cognitivo y la explotación por parte de agentes autónomos del conocimiento almacenado en la Web. Esto incluye lenguajes de representación de conocimiento, herramientas para la creación, mantenimiento y visualización interactiva de ontologías, y máquinas de inferencia especializadas que puedan razonar con ellas y ...
Abstract. In logic programs, negation-as-failure has been used both for representing negative inf... more Abstract. In logic programs, negation-as-failure has been used both for representing negative information and for providing default nonmonotonic inference. In this paper we argue that this twofold role is not only unnecessary for the expressiveness of the language, but it also plays against declarative programming, especially if further negation symbols such as strong negation are also available. We therefore propose a new logic programming approach in which negation and default inference are independent, orthogonal concepts. ...
Seamless Government is a new paradigm that prescribes the behavior of government agencies as a wh... more Seamless Government is a new paradigm that prescribes the behavior of government agencies as a whole, in order to best respond to the needs of citizens and businesses based on collaboration and networking between the government units. Seamless Government enables the provision of customer-focused, high-quality public services, accessed through a one-stop contact and grouped according to the needs of customers,
There are two main activities in Component-Based De- velopment: component development, where we b... more There are two main activities in Component-Based De- velopment: component development, where we build li- braries for general use, and component integration, where we assemble an application from existing components. In this work, we analyze how to apply algebraic specifications with refinement to component development. So we restrict our research to the use of modules that are described as class
The KF metamodel is a comprehensive unifying metamodel covering the static structural entities an... more The KF metamodel is a comprehensive unifying metamodel covering the static structural entities and constraints of UML Class Diagrams (v2.4.1), ER, EER, ORM, and ORM2, and intended to boost interoperability of common conceptual data modelling languages. It was originally designed in UML with textual constraints, and in this report we present its formalisations in FOL and OWL, which accompanies the paper that describes, discusses, and analyses the KF metamodel in detail. These new formalizations contribute to give a precise meaning to the metamodel, to understand its complexity properties and to provide a basis for future implementations.
ICOM (version 3.0) is an advanced conceptual modelling tool, which allows the user to design mult... more ICOM (version 3.0) is an advanced conceptual modelling tool, which allows the user to design multiple extended ontologies. Each project can be organised into several ontologies, with the possibility to include inter-and intra-ontology constraints. Complete logical ...
El objetivo general de este proyecto, en el marco de las recomendaciones del World Wide Web Conso... more El objetivo general de este proyecto, en el marco de las recomendaciones del World Wide Web Consortium (W3C), es el desarrollo de las herramientas necesarias para la creación de la infraestructura de soporte cognitivo y la explotación por parte de agentes autónomos del conocimiento almacenado en la Web. Esto incluye lenguajes de representación de conocimiento, herramientas para la creación, mantenimiento y visualización interactiva de ontologías, y máquinas de inferencia especializadas que puedan razonar con ellas y ...
Abstract. In logic programs, negation-as-failure has been used both for representing negative inf... more Abstract. In logic programs, negation-as-failure has been used both for representing negative information and for providing default nonmonotonic inference. In this paper we argue that this twofold role is not only unnecessary for the expressiveness of the language, but it also plays against declarative programming, especially if further negation symbols such as strong negation are also available. We therefore propose a new logic programming approach in which negation and default inference are independent, orthogonal concepts. ...
Seamless Government is a new paradigm that prescribes the behavior of government agencies as a wh... more Seamless Government is a new paradigm that prescribes the behavior of government agencies as a whole, in order to best respond to the needs of citizens and businesses based on collaboration and networking between the government units. Seamless Government enables the provision of customer-focused, high-quality public services, accessed through a one-stop contact and grouped according to the needs of customers,
There are two main activities in Component-Based De- velopment: component development, where we b... more There are two main activities in Component-Based De- velopment: component development, where we build li- braries for general use, and component integration, where we assemble an application from existing components. In this work, we analyze how to apply algebraic specifications with refinement to component development. So we restrict our research to the use of modules that are described as class
The KF metamodel is a comprehensive unifying metamodel covering the static structural entities an... more The KF metamodel is a comprehensive unifying metamodel covering the static structural entities and constraints of UML Class Diagrams (v2.4.1), ER, EER, ORM, and ORM2, and intended to boost interoperability of common conceptual data modelling languages. It was originally designed in UML with textual constraints, and in this report we present its formalisations in FOL and OWL, which accompanies the paper that describes, discusses, and analyses the KF metamodel in detail. These new formalizations contribute to give a precise meaning to the metamodel, to understand its complexity properties and to provide a basis for future implementations.
ICOM (version 3.0) is an advanced conceptual modelling tool, which allows the user to design mult... more ICOM (version 3.0) is an advanced conceptual modelling tool, which allows the user to design multiple extended ontologies. Each project can be organised into several ontologies, with the possibility to include inter-and intra-ontology constraints. Complete logical ...
Statecharts and Duration Calculus are two formalisms used in the development of reactive systems.... more Statecharts and Duration Calculus are two formalisms used in the development of reactive systems. Statecharts provide a powerful visual formalism to specify systems. Duration Calculus is a formal logic to specify and reason about temporal requeriments. In this work, we propose a description of statecharts semantics using Duration Calculus. Thus we build a common semantic model for Duration Calculus speci¯cations and statecharts. The formalization is done in two steps. First, the structure of a statechart is represented using Duration Calculus formula. Then, the semantics of the execution of a step is introduced.
In the last years software researchers have been looking for
ways of assembling systems in a sty... more In the last years software researchers have been looking for
ways of assembling systems in a style of software construction similar to “LEGO blocks”. Software components are reusable building blocks for constructing software systems. Component-based development may greatly increase the productivity of software engineers and improve the quality of software. There are many issues related with components that are of wide interest both to academics and people from industry. One of them is the retrieval of components that will be assembled into a new system. It is difficult to decide whether an implementation fits on a predefined design. In this work, we consider the problem of assessing that the implementation of a concrete component is consistent with the specification of the desired functionality. We assume that the component source code is not available and we have a formal specification of the system of interest. We propose to perform a dynamic assessment using tests derived from the specification (semantic criteria) but executed using the implementation of the candidate component.
Uploads
Papers
ways of assembling systems in a style of software construction similar to “LEGO blocks”. Software components are reusable building blocks for constructing software systems. Component-based development may greatly increase the productivity of software engineers and improve the quality of software. There are many issues related with components that are of wide interest both to academics and people from industry. One of them is the retrieval of components that will be assembled into a new system. It is difficult to decide whether an implementation fits on a predefined design. In this work, we consider the problem of assessing that the implementation of a concrete component is consistent with the specification of the desired functionality. We assume that the component source code is not available and we have a formal specification of the system of interest. We propose to perform a dynamic assessment using tests derived from the specification (semantic criteria) but executed using the implementation of the candidate component.