| 摘要 |
<p>Logic models expressing various objects in the real world can be handled by using a computer, but when a plurality of logic models have mutual relationship of the requirement of services and offering of the services, it has been difficult to generate all the details of the associated logic models without contradiction. To solve the problem, those services which are accomplished by the operation of a plurality of elements (model components) are expressed as service model components which are the same as the elements existing in practice, and the associated logic models are interconnected by using them. Further, it is intended to provide a method of generating associated logic models without contradiction, an apparatus therefor, a method of, and an apparatus for, 'deleting model components without causing contradiction' and 'searching characteristic values and evaluating the influences of the characteristic values with high fidelity to the structure of the logic model' by utilizing the logic models the model components of which are coupled by reference. These methods are embodied in programs and models which can be stored in a computer-readable medium.</p> |
