US-Germany Cooperative Research: Design and Verification Formalism for Enterprise Integration

0331796 jafari该奖项支持PI， co-PI学生与德国哈雷大学工程科学系的Hans-Michael Hannisch合作。美德双方将共同努力，为企业集成开发分布式即插即用设计形式和技术。这将包括从车间到供应链网络的整合。在车间，他们将设计分布式即插即用组件，并根据控制规范合成嵌入式控制器。在车间之外，他们将设计基于业务规则的分布式即插即用组件和验证形式。所提议的合作将使分布式系统集成的层间标准化正式方法的发展成为可能。国际标准化对于行业在全球市场上的认可非常重要。这种合作的更广泛的影响是，它增加了美国研究人员与德国研究人员之间的互动，它促进了美国初级教师的合作机会和职业发展，研究结果将直接与行业需求相关。

0331796JafariThis award supports the PI, co-PI, students to collaborate with Hans-Michael Hannisch of the Department of Engineering Science at the University of Halle, Germany. The US and German sides will work together to develop distributed plug-and-play design formalisms and technologies for enterprise integration. This will include integration from the shop floor up through the supply chain network. On the shop floor, they will design distributed plug-and-play components with embedded controllers synthesized from control specifications. Beyond the shop floor, they will design distributed plug-and-play components and verification formalisms based on business rules. The proposed collaboration will enable the development of an inter-level standardized formal approach to integration of distributed systems. International standardization is important to acceptance by industry acting in global markets.The broader impacts of this collaboration are that it increases interactions between US researchers and those in Germany, it promotes collaborative opportunities and career development for US junior faculty, and the results of the research will be directly relevant to the needs of industry.