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

← 1 2 →