Abstract:The main concern of this research work is to analyse and model supply chains (SCs) in the particular context of small and medium enterprises (SMEs) in the field of mechatronic. The study is based on the analysis of the organisational features, the actors' behaviour, and performance considerations. The development of the model relies on an iterative framework that progressively integrates different aspects into the model. This framework is the ArchMDE process, which is based on MDE (Model Driven Engineering). A major feature of this work lies in its contribution to two different areas of research. The first contribution of the work is to propose a generic metamodel for SCs. Based on a literature review, an incremental framework is proposed for the modelling of SCs in terms of concepts, structure and relationships. The application of the framework to the studied context is described and its result is a domain-metamodel for SCs. The second contribution of this work lies in the formalisation of the dynamic behaviour of the concepts in the metamodel. This formalisation is based on the multi-agent approach. An agentification of the metamodel is thus drawn, thanks to the natural links between multiagent theory and SC reality.This step leads to an agentified-domain-metamodel which also includes the monitoring of the SC and synchronisation protocols. By adding relationships and dynamic behavior aspects, we obtain a 2 metamodel of the domain that can be implemented, with its static and dynamic aspects. To validate this model, an industrial case study is detailed and has been instantiated and encoded in JAVA.
Abstract. Executions in the PharOS real-time system are deterministic in the sense that the sequence of local states for every process is independent of the order in which processes are scheduled. The essential ingredient for achieving this property is that a temporal window of execution is associated with every instruction. Messages become visible to receiving processes only after the time window of the sending message has elapsed. We present a high-level model of PharOS in TLA + and formally state and prove determinacy using the TLA + Proof System.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.