In modal logic, semantic consequence is usually defined locally by truth preservation at all worlds in models (with respect to a class of frames). It can also be globally The latter called global consequence, which much less studied than the standard local one. this paper we first study relationship between and consequence. Then give some correspondence results for Finally, illustrate two appli...

We argue that knowledge management cannot be separated from firm modeling. We, therefore start from a firm modeling methodology hereafter called “Approach Based on Contract” (ABC). In the method ABC, the contract (explicit or implicit) between a firm and its clients is the first step of the modeling. This contract is progressively refined in an interactive top down and bottom up approach in whi...

Traditional modeling approaches support a limited set of instantiation levels (typically one for classes and another adjacent one for objects). Multi-level modeling approaches on the other hand have no such limit to the number of levels. As a consequence, an arbitrary number of levels may be used to define models, and the distinction between class and instance is redefined. The paper summarizes...

Behavioral differences between the sexes include methods of carrying books. Females clasp books against their chests; males carry them at their sides. In kindergarten and the first grade, both sexes carry like mature males. Sex-typical carrying appears before adolescence. Behavioral differences seem to be primarily a consequence of morphological differences and social modeling.

The estimation of parameters of the Sovová’s model for supercritical fluid extraction is addressed in the present work. A global optimization pproach is employed. Reasons for this decision are given as a consequence of more general modeling objectives. The way of dealing with different bjective functions and constraints is described. Real-life experiments are given. 2007 Elsevier Ltd. All right...

Research on quality issues of business process models has recently begun to explore the process of creating process models. With growing complexity, the creation of business process models requires the presence of several, potentially spatially distributed, stakeholders. As a consequence, the question arises how this affects the process of process modeling. In this paper, we present an extensio...

A discontinuity exists between modeling and objectoriented programming languages. This discontinuity is a consequence of ambiguous notions in modeling languages and lack of corresponding notions in objectoriented programming languages. It hinders the transition between software implementation and design and hampers software maintenance. This discontinuity is particularly acute for binary class ...

A discontinuity exists between modeling and objectoriented programming languages. This discontinuity is a consequence of ambiguous notions in modeling languages and lack of corresponding notions in objectoriented programming languages. It hinders the transition between software implementation and design and hampers software maintenance. This discontinuity is particularly acute for binary class ...