Towards a formal language of physical systems

被引：0
|
作者：
Feliot, C
Cassar, JP
Staroswiecki, M
机构：
来源：
INFORMATION INTELLIGENCE AND SYSTEMS, VOLS 1-4 | 1996年
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
In this paper, we propose to define a formal language for description of physical systems using functional modelling, graphical representation, syntactic modelling and formal language tools. This language is defined through four formalization levels, namely : the definition of the term 'function', the definition of a finite set of function classes, a set of function connection rules, and the definition of the algebraic structure that underlies these classes. These formalizations are helpful guides for analysis, identification, validation of functional networks, as well as for functions synthesis and decomposition.
引用
收藏
页码：2768 / 2773
页数：6
相关论文
共 50 条
  • [31] Towards a Formal Specification Framework for Manufacturing Execution Systems
    Witsch, Maria
    Vogel-Heuser, Birgit
    [J]. IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2012, 8 (02) : 311 - 320
  • [32] Towards Formal Description of Standards for Automotive Operating Systems
    Yatsu, Hirokazu
    Ando, Takahiro
    Kong, Weiqiang
    Hisazumi, Kenji
    Fukuda, Akira
    Aoki, Toshiaki
    Futatsugi, Kokichi
    [J]. IEEE SIXTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2013), 2013, : 13 - +
  • [33] Towards the Formal Analysis of Microresonators based Photonic Systems
    Siddique, Umair
    Tahar, Sofiene
    [J]. 2014 DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION (DATE), 2014,
  • [34] Towards a Formal Description of Reference Architectures for Embedded Systems
    Guessi, Milena
    Oliveira, Lucas B. R.
    Garces, Lina
    Oquendo, Flavio
    [J]. COBRA'15 PROCEEDINGS OF THE 1ST INTERNATIONAL WORKSHOP ON EXPLORING COMPONENT-BASED TECHNIQUES FOR CONSTRUCTING REFERENCE ARCHITECTURES, 2015, : 17 - 20
  • [35] Towards a formal semantics for an integrated SA/RT & Z specification language
    Scholz, D
    Petersohn, C
    [J]. FIRST IEEE INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 1997, : 28 - 37
  • [36] Towards the formal model and verification of web service choreography description language
    Zhao Xiangpeng
    Yang Hongli
    Qiu Zongyan
    [J]. WEB SERVICES AND FORMAL METHODS, PROCEEDINGS, 2006, 4184 : 273 - 287
  • [37] Towards a formal semantic base for the type models of the unified modeling language
    Larrondo-Petrie, MM
    France, RB
    Saksena, M
    Shroff, M
    [J]. FORMAL METHODS PACIFIC '97, 1997, : 124 - 141
  • [38] Towards an universal systems description language
    Nedelcu, DM
    [J]. SICON/01: ISA/IEEE SENSORS FOR INDUSTRY CONFERENCE, PROCEEDINGS, 2001, : 181 - 186
  • [39] A formal framework for distributed cyber-physical systems
    Lion, Benjamin
    Arbab, Farhad
    Talcott, Carolyn
    [J]. JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2022, 128
  • [40] FORMAL CONTROLLABILITY AND PHYSICAL CONTROLLABILITY OF LINEAR-SYSTEMS
    LOBRY, C
    DELFINI, P
    [J]. LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES, 1990, 144 : 623 - 631
12345