Full Text:   <2525>

Summary:  <1703>

CLC number: TP391; TP311

On-line Access: 2017-10-25

Received: 2016-05-08

Revision Accepted: 2016-10-07

Crosschecked: 2017-09-25

Cited: 0

Clicked: 6018

Citations:  Bibtex RefMan EndNote GB/T7714

-   Go to

Article info.
Open peer comments

Frontiers of Information Technology & Electronic Engineering  2017 Vol.18 No.9 P.1396-1415

http://doi.org/10.1631/FITEE.1601235


Information schema constructs for instantiation and composition of system manifestation features


Author(s):  Shahab Pourtalebi, Imre Horváth

Affiliation(s):  Faculty of Industrial Design Engineering, Delft University of Technology, Landbergstraat 15, 2628 CE Delft, Zuid Holland, the Netherlands

Corresponding email(s):   shahab60p@gmail.com, i.horvath@tudelft.nl

Key Words:  System manifestation features (SMFs), Information schema constructs, Database schemata, SMF genotypes, SMF phenotypes, SMF instances, Software tool box, System-level design, Cyber-physical systems


Shahab Pourtalebi, Imre Horváth. Information schema constructs for instantiation and composition of system manifestation features[J]. Frontiers of Information Technology & Electronic Engineering, 2017, 18(9): 1396-1415.

@article{title="Information schema constructs for instantiation and composition of system manifestation features",
author="Shahab Pourtalebi, Imre Horváth",
journal="Frontiers of Information Technology & Electronic Engineering",
volume="18",
number="9",
pages="1396-1415",
year="2017",
publisher="Zhejiang University Press & Springer",
doi="10.1631/FITEE.1601235"
}

%0 Journal Article
%T Information schema constructs for instantiation and composition of system manifestation features
%A Shahab Pourtalebi
%A Imre Horváth
%J Frontiers of Information Technology & Electronic Engineering
%V 18
%N 9
%P 1396-1415
%@ 2095-9184
%D 2017
%I Zhejiang University Press & Springer
%DOI 10.1631/FITEE.1601235

TY - JOUR
T1 - Information schema constructs for instantiation and composition of system manifestation features
A1 - Shahab Pourtalebi
A1 - Imre Horváth
J0 - Frontiers of Information Technology & Electronic Engineering
VL - 18
IS - 9
SP - 1396
EP - 1415
%@ 2095-9184
Y1 - 2017
PB - Zhejiang University Press & Springer
ER -
DOI - 10.1631/FITEE.1601235


Abstract: 
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).

系统表现特征实例化和构成的信息模式构造

概要:为进一步说明之前的文章,提出了支持面向特定系统表现特征(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的工具箱。

关键词:系统表现特征;信息模式构造;数据库纲要;基因型系统表现特征;表型系统表现特征;系统表现特征实例;软件工具箱;系统层级设计;信息物理系统

Darkslateblue:Affiliate; Royal Blue:Author; Turquoise:Article

Reference

[1]Bhave, A., Krogh, B., Garlan, D., et al., 2010. Multi-domain modeling of cyber-physical systems using architectural views. Proc. Analytic Virtual Integration of Cyber-Physical Systems Workshop.

[2]Broman, D., Lee, E.A., Tripakis, S., et al., 2012. Viewpoints, formalisms, languages, and tools for cyber-physical systems. Proc. ACM 6th Int. Workshop on Multi-paradigm Modeling, p.49-54.

[3]Derler, P., Lee, E.A., Vincentelli, A.S., 2012. Modeling cyber– physical systems. Proc. IEEE, 100(1):13-28.

[4]Edwards, J.R., Bagozzi, R.P., 2000. On the nature and direction of relationships between constructs and measures. Psychol. Methods, 5(2):155-174.

[5]Erbas, C., Pimentel, A.D., Thompson, M., et al., 2007. A framework for system-level modeling and simulation of embedded systems architectures. EURASIP J. Embed. Syst., 2007(1):082123.

[6]Frevert, R., Haase, J., Jancke, R., et al., 2005. System level modeling. In: Modeling and Simulation for RF System Design. Springer, Boston, MA, p.25-38.

[7]Gavrilescu, M., Magureanu, G., Pescaru, D., et al., 2010. Accurate modeling of physical time in asynchronous embedded sensing networks. Proc. IEEE 8th Int. Symp. on Intelligent Systems and Informatics, p.477-482.

[8]Hadorn, B., Courant, M., Hirsbrunner, B., 2015. Holistic system modelling for cyber physical systems. Proc. 6th Int. Multi-conf. on Complexity, Informatics and Cybernetics.

[9]Horváth, I., Pourtalebi, S., 2015. Fundamentals of a Mereo-Operandi theory to support transdisciplinary modeling and co-design of cyber-physical systems. Proc. ASME Int.

[10]Design Engineering Technical Conf., p.1-12.

[11]Lee, E.A., 2015. The past, present and future of cyber-physical systems: a focus on models. Sensors, 15:4837-4869.

[12]Lee, G., Sacks, R., Eastman, C., 2007. Product data modeling using GTPPM: a case study. Autom. Constr., 16(3): 392-407.

[13]Macal, M.C., North, J.M., 2006. Tutorial on agent-based modeling and simulation. Part 2: how to model with agents. Proc. 38th Winter Simulation Conf., p.73-83.

[14]Munir, S., Ahmed, M., Stankovic, J., 2015. 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, p.170-179.

[15]Petnga, L., Austin, M., 2016. An ontological framework for knowledge modeling and decision support in cyber-physical systems. Adv. Eng. Inform., 30(1):77-94.

[16]Pourtalebi, S., Horváth, I., 2016a. Towards a methodology of system manifestation features-based pre-embodiment design. J. Eng. Des., 27(16):232-268.

[17]Pourtalebi, S., Horváth, I., 2016b. Procedures for creating system manifestation features: an information processing perspective. Proc. Int. Symp. on Tools and Methods of Competitive Engineering, p.1-16.

[18]Pourtalebi, S., Horváth, I., 2016c. Information schema constructs for defining warehouse databases of genotypes and phenotypes of system manifestation features. Front. Inform. Technol. Electron. Eng., 17(9):861-884.

[19]Richter, G., 1981. Utilization of data access and manipulation in conceptual schema definitions. Inform. Syst., 6(1):53-71.

[20]Seiger, R., Keller, C., Niebling, F., et al., 2014. Modelling complex and flexible processes for smart cyber-physical environments. J. Comput. Sci., 10:137-148.

[21]Simko, G., Levendovszky, T., Maroti, M., et al., 2014. Towards a theory for cyber-physical systems modeling. Proc. 4th ACM SIGBED Int. Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems, p.56-61.

[22]Zhou, K.L., Liu, B.B., Ye, C., et al., 2013. Design support tools of cyber-physical systems. In: Leung, V., Chen, M. (Eds.), Cloud Computing. Springer, Cham, p.258-267.

Open peer comments: Debate/Discuss/Question/Opinion

<1>

Please provide your name, email address and a comment





Journal of Zhejiang University-SCIENCE, 38 Zheda Road, Hangzhou 310027, China
Tel: +86-571-87952783; E-mail: cjzhang@zju.edu.cn
Copyright © 2000 - 2024 Journal of Zhejiang University-SCIENCE