Cyber-Physical System Components Composition Analysis and Formal Verification Based on Service-Oriented Architecture

被引:8
作者
Wang, Peng [1 ,2 ]
Xiang, Yang
Zhang, Shao Hua
机构
[1] Tongji Univ, Coll Elect & Informat Engn, Shanghai 200092, Peoples R China
[2] Dev Ctr Comp Software Technol, Shanghai, Peoples R China
来源
2012 NINTH IEEE INTERNATIONAL CONFERENCE ON E-BUSINESS ENGINEERING (ICEBE) | 2012年
基金
国家高技术研究发展计划(863计划);
关键词
Cyber-Physical system; Service Composition; Service-Oriented Architecture; Time-Space pi-calculus;
D O I
10.1109/ICEBE.2012.60
中图分类号
TP39 [计算机的应用];
学科分类号
081203 ; 0835 ;
摘要
How to design a distributed and open-ended Cyber-Physical system (CPS) architecture is an important issue for constructing different CPS business applications. In this paper, a service-oriented architecture is proposed, in which software and hardware components are represented in the form of interoperable CPS services. CPS services are combined to realize complicated business requirements. Further, a formal method for verifying validity of CPS service composition model is put forward based on Time-Space pi-calculus, which is presented through introducing time operator and space operator into pi-calculus. Finally, a case study is performed to show that how to apply the model and method to CPS components composition. The experiment result shows that they are reasonable and feasible.
引用
收藏
页码:327 / 332
页数:6
相关论文
共 13 条
[1]  
Akella R, 2009, P INT COMP SOFTW APP, P654
[2]  
[Anonymous], 2007, OPENGIS GEOGR MARK L
[3]  
Egenhofer M. J., 1990, Proceedings of the 4th International Symposium on Spatial Data Handling, P803
[4]  
Erl T., 2005, SERVICE ORIENTED ARC, P21
[5]  
Koubaa A., 2009, P 8 INT WORKSH REAL
[6]  
Lee E. A., 2010, 3 INT WORKSH EQ BAS, P11
[7]  
Lee EA, 2008, ISORC 2008: 11TH IEEE SYMPOSIUM ON OBJECT/COMPONENT/SERVICE-ORIENTED REAL-TIME DISTRIBUTED COMPUTING - PROCEEDINGS, P363, DOI 10.1109/ISORC.2008.25
[8]  
Milner R., 1999, COMMUNICATING MOBILE, P10
[9]   Towards a Compositional Multi-Modal Framework for Adaptive Cyber-Physical Systems [J].
Phan, Linh T. X. ;
Lee, Insup .
2011 IEEE 17TH INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS (RTCSA 2011), VOL 2, 2011, :67-73
[10]  
Rajkumar R, 2010, DES AUT CON, P731