[ca] Les tècniques de modelatge conceptual són un component essencial en un gran nombre de mètodes de desenvolupament de sistemes d'informació. No obstant això, normalment dediquen molt poca, o cap, atenció al problema de la validació de l'esquema conceptual. En aquest treball s'explora una tècnica que, partint de l'esquema conceptual, permet realitzar especificacions del sisstema d'informació que són formals i intel.ligibles per als usuaris. La tècnica que es proposa està basada en l'axiomatització dels formularis d'empresa. Per a això es defineix una gramàtica que permet expressar mitjançant fórmules els formularis d'empresa i es presenta un procediment que permet transformar l'esquema conceptual en fórmules d'aquesta gramàtica. L'esquema conceptual així transformat representa el conjunt d'axiomes del càlcul que, mitjançant un conjunt de regles d'inferència que es proposen, permet obtenir, com a teoremes del càlcul, els formularis que utilitzarà l'usuari. D'aquesta manera, l'usuari pot validar l'esquema conceptual a través dels formularis que utilitzarà i , a més, s'aconsegueix una especificació formal del sistema a construir que els programadors no malinterpretaran. Per a comparar la proposta amb altres aproximacions al problema, s'han revisat mètodes concrets de les àrees de l'enginyeria del software, l'enginyeria ontològica, el disseny ontològic, el modelatge conceptual, la normalització de bases de dades i els mètodes formals d'especificació de sistemes. En aquest treball es mostra que les posicions que mantenen aquestes propostes respecte a la noció d'informació són diferents i en alguns casos contradictòries. Per a mostrar això s'estudien les diferents posicions que han mantingut, al llarg de la història, distints filòsofs sobre la noció d'informació. Una comprensió més profunda de les premises filosòfiques que assumeixen, normalment de manera implícita, els distints mètodes, pot ajudar a l'elecció del mètode apropiat per a cada tipus de problema que es presenta durant el desenvolupament de sistemes d'informació i a més pot ajudar a comprendre la gènesi filosòfica de les diferents tècniques de desenvolupament.

[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.