The Formal Semantics of the Domain Specific Modeling Language for Multiagent Systems

被引：0
|
作者：
Hahn, Christian [1 ]
Fischer, Klaus [1 ]
机构：
[1] German Res Inst Artificial Intelligence DFKI, D-66123 Saarbrucken, Germany
来源：
AGENT-ORIENTED SOFTWARE ENGINEERING IX | 2009年 / 5386卷
关键词：
OBJECT-Z;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Recently, associated with the increasing acceptance of agent, based computing as a novel computing paradigm a lot: of research has been addressed to develop mechanisms and methods to support Laic agent-based development of complex software systems. Especially the idea, to define: agent-oriented languages oil a more abstract level through metamodels is recently often applied. However; the metamodel's opportunity to express the language's semantics are restricted;is only concepts and their relationships to each other call be defined within the metamodel. This paper discusses an approach to formalize the semantics of DSML4MAS-a modeling language for multiagent systems-to support the system designer in validating and verifying the generated design.
引用
收藏
页码：145 / 158
页数：14
相关论文
共 50 条
  • [1] On the use of a domain-specific modeling language in the development of multiagent systems
    Challenger, Moharram
    Demirkol, Sebla
    Getir, Sinem
    Mernik, Marjan
    Kardas, Geylani
    Kosar, Tomaz
    [J]. ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE, 2014, 28 : 111 - 141
  • [2] The Formal Semantics of a Domain-Specific Modeling Language for Semantic Web Enabled Multi-Agent Systems
    Getir, Sinem
    Challenger, Moharram
    Kardas, Geylani
    [J]. INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS, 2014, 23 (03)
  • [3] Formal semantics for the Java modeling language
    Bruns, Daniel
    [J]. Informatik-Spektrum, 2012, 35 (01) : 45 - 49
  • [4] Formal semantics of an IoT-specific language
    Cacciagrano, Diletta Romana
    Culmone, Rosario
    [J]. 2018 32ND INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS WORKSHOPS (WAINA), 2018, : 579 - 584
  • [5] FORMAL SEMANTICS OF THE UNIFIED MODELING LANGUAGE LU
    HONG, SN
    MANNINO, MV
    [J]. DECISION SUPPORT SYSTEMS, 1995, 13 (3-4) : 263 - 293
  • [6] A Lightweight Approach for Defining the Formal Semantics of a Modeling Language
    Kelsen, Pierre
    Ma, Qin
    [J]. MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2008, 5301 : 690 - 704
  • [7] Domain Specific Modeling Language for Cyber Physical Systems
    Aziz, Muhammad Waqar
    Rashid, Muhammad
    [J]. 2016 INTERNATIONAL CONFERENCE ON INFORMATION SYSTEMS ENGINEERING (ICISE), 2016, : 29 - 33
  • [8] Natural Semantics for Domain-Specific Language
    Steingartner, William
    Novitzka, Valerie
    [J]. NEW TRENDS IN DATABASE AND INFORMATION SYSTEMS, ADBIS 2021, 2021, 1450 : 181 - 192
  • [9] MODEL DRIVEN DESIGN OF AGENTS AND MULTIAGENT SYSTEMS DSML4MAS a Domain Specific Modelling Language for Multiagent Systems
    Fischer, Klaus
    [J]. ICAART 2011: PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, VOL 2, 2011, : IS25 - IS27
  • [10] MODEL DRIVEN DESIGN OF AGENTS AND MULTIAGENT SYSTEMS DSML4MAS a Domain Specific Modelling Language for Multiagent Systems
    Fischer, Klaus
    [J]. ICAART 2011: PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, VOL 1, 2011, : IS25 - IS27
12345