期刊名称：Journal of Theoretical and Applied Information Technology
印刷版ISSN：1992-8645
电子版ISSN：1817-3195
出版年度：2012
卷号：43
期号：1
页码：148-155
出版社：Journal of Theoretical and Applied
摘要：The paper discusses two approaches for designing mechatronic systems. the first one is based on using Reference Model for open Distributed Processing (RM-ODP), to specify any kind of mechatronic systems, RM-ODP is a reference model in computer science, which provides a co-ordinating framework for the standardization of open distributed processing (ODP), whereas in the second phase , we introduce Event-B method to formalize and verify mechatronics system. We explore the benefits provided by using the proof construction approach to define the protocol of negotiating QoS requirements When Mechatronic components in different clusters interact. In this context, we investigate the support for the specification of Quality of Service (QoS) in Event-B, when modelling mechatronic systems in ODP Engineering viewpoint.
