We present a method for mass proofs of theorems of certain forms in a formal theory of fuzzy relations and classes. The method is based on formal identification of fuzzy classes and inner truth values with certain fuzzy relations, which allows transferring basic properties of sup-T and inf-R compositions to a family of more than 30 composition-related operations, including sup-T and inf-R image...

We present a method for mass proofs of theorems of certain forms in a formal theory of fuzzy relations and classes. The method is based on formal identification of fuzzy classes and inner truth values with certain fuzzy relations, which allows transferring basic properties of sup-T and inf-R compositions to a family of more than 30 composition-related operations, including sup-T and inf-R image...

Current approaches for the discovery, specification, and provision of services ignore the relationship between the service contract and the conditions in which the service can guarantee its contract. Moreover, they do not use formal methods for specifying services, contracts, and compositions. Without a formal basis it is not possible to justify through formal verification the correctness condi...

When do we call a software development environment a composition environment? A composition environment must be built of three parts: i) a reusable component library, ii) a component framework determining the software architecture, and iii) an open and flexible composition language. Most of the effort in component technology was spent on the first two parts. Now it is crucial to address the las...

New methods of automating design generation differ greatly from the ways AI researchers have attempted to elicitate and implement design knowledge. The latter tradition is coined by the so called 'knowledge based approaches'. A good example for floor plan design can be found in (Zandi 1992). Using iterative algorithms (e.g. artificial neural networks), this programming work can be relieved, car...

We present a formal model for qualitative spatial reasoning with cardinal directions that is based on a recent proposal in the literature. We use our formal framework to study the composition operation for the cardinal direction relations of this model. We consider progressively more expressive classes of cardinal direction relations and give composition algorithms for these classes. Finally, w...

Eliciting, modeling, and analyzing the requirements are the main challenges to face up when you want to produce a formal specification for distributed systems. The distribution and the race conditions between events make it difficult to include all the possible scenario combinations and thus to get a complete specification. Most research about formal methods dealt with languages and neglected t...