

FOLLOWUS
Faculty of Industrial Design Engineering, Delft University of Technology, Landbergstraat 15, 2628 CE Delft, Zuid Holland, the Netherlands
Shahab POURTALEBI, E-mail:sshahab60p@gmail.com
Received:08 May 2016,
Revised:2017-;9-25,
Published:2017-09
Scan QR Code
Shahab POURTALEBI, Imre HORVTH. Information schema constructs for instantiation and composition of system manifestation features[J]. Frontiers of Information Technology & Electronic Engineering, 2017, 18(9): 1396-1415.
Shahab POURTALEBI, Imre HORVTH. Information schema constructs for instantiation and composition of system manifestation features[J]. Frontiers of Information Technology & Electronic Engineering, 2017, 18(9): 1396-1415. DOI: 10.1631/FITEE.1601235.
为进一步说明之前的文章,提出了支持面向特定系统表现特征(system manifestation feature
SMFs)的信息管理和构成系统模型编程的信息模式构造(information schema construct
ISCs)。首先,简要介绍了(1)利用SMFs进行具体化设计的一般过程,(2)创建基因型和表型SMFs的步骤,(3)表型SMFs实例化的具体步骤,以及(4)系统模型管理和处理的步骤。接着,讨论了表型SMFs实例化所需的信息块,提出了为实现SMFs实例化而设计的ISCs。然后,讨论了与系统建模相关的信息管理问题。在研究方法上,系统建模包括(1)在模型空间中放置表型SMFs,(2)针对所需架构和操作,组合所放置的表型SMFs,(3)参数赋值以及约束条件符合程度检查,以及(4)在基于SMFs的数据仓中存储系统构建模型。研究的最终目标是开发一个支持信息物理系统(cyber-physical systems
CPSs)建模的基于SMFs的工具箱。
Complementing our previous publications
this paper presents the information schema constructs (ISCs) that underpin the programming of specific system manifestation feature (SMF) orientated information management and composing system models. First
we briefly present (1) the general process of pre-embodiment design with SMFs
(2) the procedures of creating genotypes and phenotypes of SMFs
(3) the specific procedure of instantiation of phenotypes of SMFs
and (4) the procedure of system model management and processing. Then
the chunks of information needed for instantiation of phenotypes of SMFs are discussed
and the ISCs designed for instantiation presented. Afterwards
the information management aspects of system modeling are addressed. Methodologically
system modeling involves (1) placement of phenotypes of SMF in the modeling space
(2) combining them towards the desired architecture and operation
(3) assigning values to the parameters and checking the satisfaction of constraints
and (4) storing the system model in the SMFs-based warehouse database. The final objective of the reported research is to develop an SMFs-based toolbox to support modeling of cyber-physical systems (CPSs).
A. Bhave , , , B. Krogh , , , 等 . . Multi-domain modeling of cyber-physical systems using architectural views . . Proc.Analytic Virtual Integration of CyberPhysical Systems Workshop , , 2010 . . .
D. Broman , , , E.A. Lee , , , S. Tripakis , , , 等 . . Viewpoints, formalisms, languages, and tools for cyber-physical systems . . Proc. ACM 6th Int. Workshop on Multi-paradigm Modeling , , 2012 . . 49 - - 54 . . DOI: 10.1145/2508443.2508452 http://doi.org/10.1145/2508443.2508452 . .
P. Derler , , , E.A. Lee , , , A.S. Vincentelli . . Modeling cyberphysical systems . . Proc. IEEE , , 2012 . . 100 ( ( 1 ): ): 13 - - 28 . . DOI: 10.1109/JPROC.2011.2160929 http://doi.org/10.1109/JPROC.2011.2160929 . .
J.R. Edwards , , , R.P. Bagozzi . . On the nature and direction of relationships between constructs and measures . . Psychol. Methods , , 2000 . . 5 ( ( 2 ): ): 155 - - 174 . . DOI: 10.1037/1082-989X.5.2.155 http://doi.org/10.1037/1082-989X.5.2.155 . .
C. Erbas , , , A.D. Pimentel , , , M. Thompson , , , 等 . . A framework for system-level modeling and simulation of embedded systems architectures . . EURASIP J. Embed. Syst. , , 2007 . . 2007 ( ( 1 ): ): 082123 DOI: 10.1155/2007/82123 http://doi.org/10.1155/2007/82123 . .
R. Frevert , , , J. Haase , , , R. Jancke , , , 等 . . System level modeling. In : Modeling and Simulation for RF System Design . . Springer, Boston, MA , , 2005 . . 25 - - 38 . . DOI: 10.1007/0-387-27585-1_4 http://doi.org/10.1007/0-387-27585-1_4 . .
M. Gavrilescu , , , G. Magureanu , , , D. Pescaru , , , 等 . . Accurate modeling of physical time in asynchronous embedded sensing networks . . Proc. IEEE 8th Int. Symp. on Intelligent Systems and Informatics , , 2010 . . p.477 - - 482 . . DOI: 10.1109/SISY.2010.5647308 http://doi.org/10.1109/SISY.2010.5647308 . .
B. Hadorn , , , M. Courant , , , B. Hirsbrunner . . Holistic system modelling for cyber physical systems . . Proc. 6th Int. Multi-conf. on Complexity, Informatics and Cybernetics , , 2015 . . .
I. Horváth , , , S. Pourtalebi . . Fundamentals of a MereoOperandi theory to support transdisciplinary modeling and co-design of cyber-physical systems . . Proc. ASME Int.Design Engineering Technical Conf. , , 2015 . . p.1 - - 12 . . DOI: 10.1115/DETC2015-46702 http://doi.org/10.1115/DETC2015-46702 . .
E.A. Lee . . The past, present and future of cyber-physical systems: a focus on models . . Sensors , , 2015 . . 15 4837 - - 4869 . . DOI: 10.3390/s150304837 http://doi.org/10.3390/s150304837 . .
G. Lee , , , R. Sacks , , , C. Eastman . . Product data modeling using GTPPM: a case study . . Autom. Constr. , , 2007 . . 16 ( ( 3 ): ): 392 - - 407 . . DOI: 10.1016/j.autcon.2006.05.004 http://doi.org/10.1016/j.autcon.2006.05.004 . .
M.C. Macal , , , J.M. North . . Tutorial on agent-based modeling and simulation . . Part 2: how to model with agents. Proc. 38th Winter Simulation Conf. , , 2006 . . p.73 - - 83 . . . .
S. Munir , , , M. Ahmed , , , J. Stankovic . . EyePhy: detecting dependencies in cyber-physical system Apps due to human-in-the-loop . . Proc. 12th EAI Int. Conf. on Mobile and Ubiquitous Systems: Computing, Networking and Services , , 2015 . . p.170 - - 179 . . DOI: 10.4108/eai.22-7-2015.2260045 http://doi.org/10.4108/eai.22-7-2015.2260045 . .
L. Petnga , , , M. Austin . . An ontological framework for knowledge modeling and decision support in cyberphysical systems . . Adv. Eng. Inform. , , 2016 . . 30 ( ( 1 ): ): 77 - - 94 . . DOI: 10.1016/j.aei.2015.12.003 http://doi.org/10.1016/j.aei.2015.12.003 . .
S. Pourtalebi , , , I. Horváth . . Towards a methodology of system manifestation features-based pre-embodiment design . . J. Eng. Des. , , 2016a . . 27 ( ( 16 ): ): 232 - - 268 . . DOI: 10.1080/09544828.2016.1141183 http://doi.org/10.1080/09544828.2016.1141183 . .
S. Pourtalebi , , , I. Horváth . . Procedures for creating system manifestation features: an information processing perspective . . Proc. Int. Symp. on Tools and Methods of Competitive Engineering , , 2016b . . p.1 - - 16 . . . .
S. Pourtalebi , , , I. Horváth . . Information schema constructs for defining warehouse databases of genotypes and phenotypes of system manifestation features . . Front. Inform. Technol. Electron. Eng. , , 2016c . . 17 ( ( 9 ): ): 861 - - 884 . . DOI: 10.1631/FITEE.1600997 http://doi.org/10.1631/FITEE.1600997 . .
G. Richter . . Utilization of data access and manipulation in conceptual schema definitions . . Inform. Syst. , , 1981 . . 6 ( ( 1 ): ): 53 - - 71 . . DOI: 10.1016/0306-4379(81)90018-1 http://doi.org/10.1016/0306-4379(81)90018-1 . .
R. Seiger , , , C. Keller , , , F. Niebling , , , 等 . . Modelling complex and flexible processes for smart cyber-physical environments . . J. Comput. Sci. , , 2014 . . 10 137 - - 148 . . DOI: 10.1016/j.jocs.2014.07.001 http://doi.org/10.1016/j.jocs.2014.07.001 . .
G. Simko , , , T. Levendovszky , , , M. Maroti , , , 等 . . Towards a theory for cyber-physical systems modeling . . Proc. 4th ACM SIGBED Int. Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems , , 2014 . . 56 - - 61 . . DOI: 10.1145/2593458.2593463 http://doi.org/10.1145/2593458.2593463 . .
K.L. Zhou , , , B.B. Liu , , , C. Ye , , , 等 . . Design support tools of cyber-physical systems . . In : Leung V., Chen, M. (Eds.), Cloud Computing. Springer, Cham , , 2013 . . p.258 - - 267 . . DOI: 10.1007/978-3-319-05506-0_25 http://doi.org/10.1007/978-3-319-05506-0_25 . .
Publicity Resources
Related Articles
Related Author
Related Institution
京公网安备11010802024621