In this position paper, we discuss the interdependencies of context models and flexible design processes in the chip industry. We illustrate this by an ontology-based context model...
Domain-specific modeling solutions have been promoted for some time in order to improve the productivity of software developers by providing them with modeling environments that ar...
We develop a model for timed, reactive computation by extending the asynchronous, untimed concurrent constraint programming model in a simple and uniform way. In the spirit of pro...
We put forward a methodological approach aimed at guiding ontology modellers in choosing which relations to reify. Our proposal is based on the notion of aggregation as used in con...
Ontologies constitute formal models of some aspect of the world that may be used for drawing interesting logical conclusions even for large models. Software models capture relevant...