Simon Lacoste-Julien, H. Vangheluwe, Juan de Lara, P. Mosterman
{"title":"元建模混合形式","authors":"Simon Lacoste-Julien, H. Vangheluwe, Juan de Lara, P. Mosterman","doi":"10.1109/CACSD.2004.1393852","DOIUrl":null,"url":null,"abstract":"This article demonstrates how meta-modelling can simplify the construction of domain-and formalism-specific modelling environments. Using AToM3 (a tool for multi-formalism and meta-modelling developed at McGill University), a model is constructed of a hybrid formalism, HS, that combines event scheduling constructs with ordinary differential equations. From this specification, an HS-specific visual modelling environment is synthesized. For the purpose of this demonstration, a simple hybrid model of a bouncing ball is modelled in this environment. It is envisioned that the future of modelling and simulation in general, and more specifically in hybrid dynamic systems design lies in domain-specific computer automated multi-paradigm modelling (CAMPaM) which combines multi-abstraction, multi-formalism, and meta-modelling. The small example presented in this article demonstrates the feasibility of this approach","PeriodicalId":111199,"journal":{"name":"2004 IEEE International Conference on Robotics and Automation (IEEE Cat. No.04CH37508)","volume":"111 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2004-09-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"13","resultStr":"{\"title\":\"Meta-modelling hybrid formalisms\",\"authors\":\"Simon Lacoste-Julien, H. Vangheluwe, Juan de Lara, P. Mosterman\",\"doi\":\"10.1109/CACSD.2004.1393852\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This article demonstrates how meta-modelling can simplify the construction of domain-and formalism-specific modelling environments. Using AToM3 (a tool for multi-formalism and meta-modelling developed at McGill University), a model is constructed of a hybrid formalism, HS, that combines event scheduling constructs with ordinary differential equations. From this specification, an HS-specific visual modelling environment is synthesized. For the purpose of this demonstration, a simple hybrid model of a bouncing ball is modelled in this environment. It is envisioned that the future of modelling and simulation in general, and more specifically in hybrid dynamic systems design lies in domain-specific computer automated multi-paradigm modelling (CAMPaM) which combines multi-abstraction, multi-formalism, and meta-modelling. The small example presented in this article demonstrates the feasibility of this approach\",\"PeriodicalId\":111199,\"journal\":{\"name\":\"2004 IEEE International Conference on Robotics and Automation (IEEE Cat. No.04CH37508)\",\"volume\":\"111 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2004-09-02\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"13\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2004 IEEE International Conference on Robotics and Automation (IEEE Cat. No.04CH37508)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/CACSD.2004.1393852\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2004 IEEE International Conference on Robotics and Automation (IEEE Cat. No.04CH37508)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CACSD.2004.1393852","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
This article demonstrates how meta-modelling can simplify the construction of domain-and formalism-specific modelling environments. Using AToM3 (a tool for multi-formalism and meta-modelling developed at McGill University), a model is constructed of a hybrid formalism, HS, that combines event scheduling constructs with ordinary differential equations. From this specification, an HS-specific visual modelling environment is synthesized. For the purpose of this demonstration, a simple hybrid model of a bouncing ball is modelled in this environment. It is envisioned that the future of modelling and simulation in general, and more specifically in hybrid dynamic systems design lies in domain-specific computer automated multi-paradigm modelling (CAMPaM) which combines multi-abstraction, multi-formalism, and meta-modelling. The small example presented in this article demonstrates the feasibility of this approach
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
