[en] Misunderstanding system requirements is one of the main causes of failure when developing corporate information systems. Requirements engineering tackles this problem in two ways: (1) by getting users to validate the system requirements; and (2) by formally specifying requirements to ensure that programmers do not misinterpret specifications. However, some authors argue that it is impossible to both formally state requirements in a way that cannot be misinterpreted by programmers and to make the specifications intelligible to the users performing the validation. The techniques used by conceptual modelling are an essential component in many development methods for Information Systems (IS). However, such techniques usually pay little or no attention to the problem of validating the conceptual schema. This paper explores a technique that is based upon a conceptual schema to draw up IS specifications that are both formally stated and intelligible to users. The technique is based on reducing company forms to axioms. For this purpose, a grammar is defined to express a company's forms as formulae. A procedure then turns the conceptual schema into formulae employing this grammar. The transformed conceptual schema thus represents the calculus axioms. A set of inference rules are then applied to obtain the forms (stated as calculus theorems) to be employed by users. This allows users to validate the conceptual schema through the forms they work with whilst also achieving a formal specification of the system that programmers cannot misinterpret. Specific proposals in software engineering, ontological engineering, ontological design, conceptual modelling, normalisation of data bases, and formal system specification of methods were compared with the proposed approach. It is shown that the alternative approaches to the one put forward reveal different and occasionally contradictory concepts as to what constitutes information. A deeper grasp of the philosophical premises (frequently taken for granted) underlying the various methods will: (1) help make the right choices for tackling a given problem in IS development (2) foster understanding of the philosophical roots of the various development techniques.

[es] Las técnicas de modelado conceptual son un componente esencial en un gran número de métodos de desarrollo de sistemas de información. Sin embargo, normalmente dedican muy poca --o ninguna atención al problema de la validación del esquema conceptual. En este trabajo se explora una técnica que, partiendo del esquema conceptual, permite realizar especificaciones del sistema de información que son formales e inteligibles para los usuarios. La técnica que se propone está basada en la axiomatización de los formularios de empresa. Para ello, se define una gramática que permite expresar mediante fórmulas los formularios de empresa y se presenta un procedimiento que permite transformar el esquema conceptual en fórmulas de dicha gramática. El esquema conceptual así transformado representa el conjunto de axiomas del cálculo que, mediante un conjunto de reglas de inferencia que se proponen, permite obtener, como teoremas del cálculo, los formularios que utilizará el usuario. De esta manera, el usuario puede validar el esquema conceptual a través de los formularios que utilizará, y además se consigue una especificación formal del sistema a construir que los programadores no malinterpretarán. Para comparar la propuesta con otras aproximaciones al problema, se estudian propuestas concretas de las áreas de la ingeniería del software, la ingeniería ontológica, el diseño ontológico, el modelado conceptual, la normalización de bases de datos y los métodos formales de especificación de sistemas. Se muestra que las posiciones que mantienen dichas propuestas respecto a la noción de información son distintas y en algunos casos contradictorias. Para mostrar esto, se estudian las diferentes posiciones que han mantenido a lo largo de la historia distintos filósofos frente a la noción de información. Una comprensión más profunda de las premisas filosóficas que se asumen, normalmente de manera implícita, en los distintos métodos, puede ayudar a la elección del método apropiado a cada tipo de problemas que se presenta durante el desarrollo de sistemas de información y además puede ayudar a comprender la génesis filosófica de las distintas técnicas de desarrollo.