Formal semantics for the Java modeling language

被引：0
|
作者：
Bruns, Daniel [1 ]
机构：
[1] Karlsruher Institut für Technologie (KIT), Institut für Theoretische Informatik, Am Fasanengarten 5, 76131 Karlsruhe, Germany
来源：
Informatik-Spektrum | 2012年 / 35卷 / 01期
关键词：
D O I：
10.1007/s00287-011-0532-0
中图分类号：
学科分类号：
摘要：
Die Java Modeling Language (JML) wurde als Ansatz konzipiert, um das Spezifizieren von Software-Produkten einer breiteren Masse zugänglich zu machen. Die Sprache baut auf Java auf und wird in einer Vielzahl von Verifikationswerkzeugen eingesetzt. Im Gegensatz zu anderen Modellierungssprachen mangelt es JML jedoch weiterhin an einer fundierten formalen Referenzsemantik. In diesem Beitrag wird ein Schritt zu diesem Ziel unternommen, der ausschließlich auf elementaren mathematischen Notationen beruht und unabhängig von der Semantikdefinition von Java selbst ist.
引用
收藏
页码：45 / 49
页数：4
相关论文
共 50 条
  • [1] FORMAL SEMANTICS OF THE UNIFIED MODELING LANGUAGE LU
    HONG, SN
    MANNINO, MV
    DECISION SUPPORT SYSTEMS, 1995, 13 (3-4) : 263 - 293
  • [2] Formal semantics of Java']Java expressions and statements
    Zamulin, AV
    PROGRAMMING AND COMPUTER SOFTWARE, 2003, 29 (05) : 259 - 269
  • [3] A Lightweight Approach for Defining the Formal Semantics of a Modeling Language
    Kelsen, Pierre
    Ma, Qin
    MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2008, 5301 : 690 - 704
  • [4] Formal Semantics of Java Expressions and Statements
    A. V. Zamulin
    Programming and Computer Software, 2003, 29 : 259 - 270
  • [5] The Formal Semantics of the Domain Specific Modeling Language for Multiagent Systems
    Hahn, Christian
    Fischer, Klaus
    AGENT-ORIENTED SOFTWARE ENGINEERING IX, 2009, 5386 : 145 - 158
  • [6] Formal semantics and natural language
    Kusly, P. S.
    VOPROSY FILOSOFII, 2013, (08) : 105 - 117
  • [7] A formal executable semantics of the Java']JavaCard platform
    Barthe, G
    Dufay, G
    Jakubiec, L
    Serpette, B
    de Sousa, SM
    PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2001, 2028 : 302 - 319
  • [8] A Formal Semantics for the SmartFrog Configuration Language
    Anderson, Paul
    Herry, Herry
    JOURNAL OF NETWORK AND SYSTEMS MANAGEMENT, 2016, 24 (02) : 309 - 345
  • [9] A Formal Semantics for the SmartFrog Configuration Language
    Paul Anderson
    Herry Herry
    Journal of Network and Systems Management, 2016, 24 : 309 - 345
  • [10] FORMAL SEMANTICS OF NATURAL-LANGUAGE
    HOLDCROFT, D
    BRITISH JOURNAL FOR THE PHILOSOPHY OF SCIENCE, 1979, 30 (04): : 411 - 418
12345