Haim Kilov

Learn More
Context. Aggregation and generalization are two forms of abstraction essential not only in database design and use — see the classical work by Smith and Smith [1] — but also in modeling of any system, both existing and to-be-built. Mario Bunge, a modern classic of exact philosophy, observed in the book under review (and elsewhere) that concepts are(More)
The paper shows how a system of important concepts and approaches proposed by system thinkers (such as philosophers, mathematicians, and computing scientists) has been used to understand and specify various kinds of business and IT systems, and to base the IT work on a solid foundation that can be used for communicating with non-IT experts, thus(More)
When we understand, specify, and develop systems, we use certain concepts and constructs to deal with complexity. Object-oriented (00) approaches provide good ways for doing so. However, many existing 00 approaches (perhaps based on object models used in existing 00 languages) cannot solve important problems encountered in large and complex systems. For(More)
Foreword This workshop report is organized in five sections: 1) purpose of workshop, 2) logistics, 3) technical presentations, 4) recommendations, and 5) list of participants. To understand an enterprise, make its components reusable and semantically interoperable, precise specifications of behavioral semantics are essential. Further, as objects do not(More)
1 Motivation for the Workshop Business specifications are essential to describe and understand businesses (and, in particular, business rules) independently of any computing systems used for their possible automation. They have to express this understanding in a clear, precise, and explicit way, in order to act as a common ground between business domain(More)