Formal justification in object-oriented modelling: A linguistic approach

0
116

Authors: A. Moreno Capuchino, N. Juristo, R. P. van de Riet

Tags: 2000, conceptual modeling

When software engineers set out to build a system, they usually have the informal idea that there is a relation between the linguistic world and the conceptual world. In this paper, we present a formalisation of this empirical relation, de®ning an intermediate mapping of the components of the linguistic and conceptual worlds to their mathematical representations. This process outputs a justi®ed correspondence between natural language, used as a means of communication between users and software engineers, and conceptual models, employed by software engineers as a ®rst step towards building a system. In other words, our aim is to show how the equivalence of the linguistic and conceptual representations of a requirement can be established in a formal and justi®ed manner. Ó 2000 Elsevier Science B.V. All rights reserved.

Read the full paper here: https://pdf.sciencedirectassets.com/271546/1-s2.0-S0169023X00X0047X/1-s2.0-S0169023X99000464/main.pdf?X-Amz-Security-Token=IQoJb3JpZ2luX2VjEDEaCXVzLWVhc3QtMSJHMEUCIFMLEHOGv0KcII%2BEJjmxz6j%2B7Xh2J1jm6Raa7s3h5SVnAiEAlnM35Y7dgjhPVsdQHZ%2BSmVy%2FUFIohsGjVn9OknhAzrIqtAMIORADGgwwNTkwMDM1NDY4NjUiDK1g53Dah3Tj6Z%2BbhiqRA%2F286K5uOGM5MF6h%2FyC%2FN7HAjHUDh9SjCd%2BF7vz9kqO1Gsn%2FEzmF6elFsgFvZ0EC0m3BDa9aDIH3NunJZta%2FPBnt%2FxWOQOcOkPlV%2F9BPV4X2ATq7NP3hAeNQIgsvTI5KF7Zfp6jtTJrGN6ALFZbya6t0xcdMNemmHrtTrzu3rB0wNRYdosCwqlWDeJnW7rbKUVjP6pWtU9y3LTmLXEn45E7EzqEfjSHv1lOmzjRYK77zYnMDPXXvo35aRHrhf3Z0AzNJG0%2FinLE9srs%2FeP1Agph05nRi6tgxQl3k1eXzsGUp3F%2BEpChyJyXkb32mIyqWzxjJgGyzOe6KXb2PmAS94X%2By5mIYNhi3HY9TnRYF5xX74eA0mO73mclIThT0C1GtZBDB2a7sjSe%2FnFg17CRQnlTmQ1nc1IBcm4F8vdV65MBp6uqH8i%2F6d9OeCgDa7bkh6EP65gXs2e0kE3wUGkii7Ly5PD2NacuWx4VcC65yKgrq9mTwIZn6SfSBeE9EBCSXrtj0JHb60TXpxHF7nNMu%2FNIQMLS44PoFOusBKtbj2HsVTd1NqwHX%2BynMBCLKodXaIyZWl5PRggHfW3M8RAr14%2FxCRFMheAKeJvu5SVtPSV8LUN2G8ZD%2BUgPsLPzcgE9D3XR%2BQmTMl1LTfWa4m0CXhSiL4XxAVoOdsWyaFXY1mDcT5d%2BDxmoEYsXeRdzgghFI0og4k0O8Hst8hRlzKUtoVFHAECiCPJCCWwreCau0YJ7zThu95JnleLln2wLoxBdQtshJwoNDJ9%2BSZQ7HzCosXMShZI6nMm50jQXHRTfQSyiqpdlBM8ZtK4NkyN6eBC%2BSjhht6mGO%2FXD4EzuAm5koutz5CXDNcg%3D%3D&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Date=20200909T002625Z&X-Amz-SignedHeaders=host&X-Amz-Expires=300&X-Amz-Credential=ASIAQ3PHCVTYZ45AHM6I%2F20200909%2Fus-east-1%2Fs3%2Faws4_request&X-Amz-Signature=83d63c66af6a2787f523180464ba7eb3e34c1a088f785b6cf097f13f4141753a&hash=b7b594e90a627137d376654c9543726abe87c23a0fd8a219d8db364daad914bc&host=68042c943591013ac2b2430a89b270f6af2c76d8dfd086a07176afe7c76c2c61&pii=S0169023X99000464&tid=spdf-d1cd0635-9fe1-451c-81e3-d523d5b0bdf5&sid=006e6d4c3109c14eb9383ad2b0357d9edc3agxrqa&type=client