Abstract. Model-driven engineering and model-based approaches have permeated all branches of software engineering to the point that it seems that we are using models, as Molière’s Monsieur Jourdain was using prose, without knowing it. At the heart of modeling, there is a relation that we establish to represent something by something else. In this paper we review various definitions of models and relations between them. Then, we define a canonical set of relations that can be used to express various kinds of representation relations and we propose a graphical concrete syntax to represent these relations. We also define a structural definition for this language in the form of a metamodel and a formal interpretation using Prolog. Hence, this paper is a contribution towards a theory of modeling. 1.

c t i v it y e p o r t 2009 Table of contents 1. Team.................................................................................... 1

A reconfigurable manufacturing system (RMS) is designed for rapid adjustment of production capacity and functionality in response to new market conditions and new process technology. It has several distinct characteristics including: modularity, integrability, customization, convertibility, and diagnosability. There are a number of key interrelated technologies that should be developed and implemented to achieve these characteristics. This paper examines and identifies these technologies. After a brief description of the RMSs and their goals, aspects of reconfiguration (reconfigurable system, software, controller, machine, and process) are explained; this provides one with a better understanding of the enabling technologies of RMSs. Then some of the issues related to technology requirements of RMSs at the system and machine design levels, and ramp-up time reduction are explained. The paper is concluded with descriptions of some of the future research directions for RMSs. 1

Abstract. Model-driven engineering and model-based approaches have permeated all branches of software engineering to the point that it seems that we are using models, as Molière’s Monsieur Jourdain was using prose, without knowing it. At the heart of modeling, there is a relation that we establish to represent something by something else. In this paper we review various definitions of models and relations between them. Then, we define a canonical set of relations that can be used to express various kinds of representation relations and we propose a graphical concrete syntax to represent these relations. We also define a structural definition for this language in the form of a metamodel and a formal interpretation using Prolog. Hence, this paper is a contribution towards a theory of modeling. 1.