Aspects and formal methods

被引：0
|
作者：
Katz, Shmuel [1 ]
机构：
[1] Technion Israel Inst Technol, Dept Comp Sci, IL-32000 Haifa, Israel
来源：
FM 2008: FORMAL METHODS, PROCEEDINGS | 2008年 / 5014卷
关键词：
aspects; interference; model-checking; detection; specification;
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Aspects are now commonly used to add functionality that otherwise would cut across the structure of object systems. In this survey, both directions in the connection between aspects and formal methods are examined. On the one hand, the use of aspects to facilitate (general) software verification, and especially model checking, is demonstrated. On the other hand, the new challenges to formal specification and verification posed by aspects are defined, and several existing solutions are described.
引用
收藏
页码：1 / +
页数：3
相关论文
共 50 条
  • [1] Formal Aspects of Enterprise Modeling Methods: A Comparison Framework
    Bork, Domenik
    Fill, Hans-Georg
    2014 47TH HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES (HICSS), 2014, : 3400 - 3409
  • [2] Rigorous fault tolerance using aspects and formal methods
    Katz, Shmuel
    RIGOROUS DEVELOPMENT OF COMPLEX FAULT-TOLERANT SYSTEMS, 2006, 4157 : 226 - 240
  • [3] Combining formal methods and aspects for specifying and enforcing architectural invariants
    Kallel, Slim
    Charfi, Anis
    Mezini, Mira
    Jmaiel, Mohamed
    COORDINATION MODELS AND LANGUAGES, PROCEEDINGS, 2007, 4467 : 211 - +
  • [4] Formal Aspects
    不详
    NUKLEARMEDIZIN-NUCLEAR MEDICINE, 2018, 57 (02): : N15 - N15
  • [5] FORMAL ASPECTS
    不详
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 262 : 27 - 31
  • [6] Application of formal methods to modelling and analysis aspects of business process reengineering
    Haseeb, Junaid
    Ahmad, Naveed
    Malik, Saif U. R.
    Anjum, Adeel
    BUSINESS PROCESS MANAGEMENT JOURNAL, 2020, 26 (02) : 548 - 569
  • [7] FORMAL METHODS OF INTEGRATING QUALITATIVE AND QUANTITATIVE ASPECTS OF UNCERTAINTY IN EXPERT SYSTEMS
    SPIEGELHALTER, DJ
    BULLETIN OF THE BRITISH PSYCHOLOGICAL SOCIETY, 1986, 39 : A87 - A87
  • [8] Applying Empirical and Formal Methods for Modelling Systems with Concurrency and Timing Aspects
    Garrido, Jose M.
    PROCEEDINGS OF THE SOUTHEAST CONFERENCE ACM SE'17, 2017, : 81 - 87
  • [9] Special Issue on Formal Methods for Components and Objects Pragmatic Aspects and Applications - Preface
    de Boer, F
    Bonsangue, M
    SCIENCE OF COMPUTER PROGRAMMING, 2005, 55 (1-3) : 1 - 2
  • [10] Formal aspects of context
    Thomason, RH
    COMPUTATIONAL LINGUISTICS, 2001, 27 (04) : 598 - 600
12345