Three-tiered specification of micro-architectures

被引：0
|
作者：
Alagar, V [1 ]
Lämmel, R [1 ]
机构：
[1] Concordia Univ, Montreal, PQ, Canada
来源：
FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS | 2002年 / 2495卷
关键词：
object-oriented design; formal methods; micro-architectures; design patterns; frameworks; interaction; UML; reuse; evolution;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
A three-tiered specification approach is developed to formally specify collections of collaborating objects, say micro-architectures. (i) The structural properties to be maintained in the collaboration are specified in the lowest tier. (ii) The behaviour of the object methods in the classes is specified in the middle tier. (iii) The interaction of the objects in the micro-architecture is specified in the third tier. The specification approach is based on Larch and accompanying notations and tools. The approach enables the unambiguous and complete specification of reusable collections of collaborating objects.
引用
收藏
页码：92 / 97
页数：6
相关论文
共 50 条
  • [1] Two- and Three-Tiered Stacked Architectures by Covalent Assembly
    Ren, Fengfeng
    Day, Kody J.
    Hartley, C. Scott
    [J]. ANGEWANDTE CHEMIE-INTERNATIONAL EDITION, 2016, 55 (30) : 8620 - 8623
  • [2] Detection of Generic Micro-architectures on Models
    Bouhours, Cedric
    Leblanc, Herve
    Percebois, Christian
    Millan, Thierry
    [J]. PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCES ON PERVASIVE PATTERNS AND APPLICATIONS (PATTERNS 2010), 2010, : 34 - 41
  • [3] ECG scalogram classification with CNN micro-architectures
    Benmalek E.
    Elmhamdi J.
    Jilbab A.
    [J]. Research on Biomedical Engineering, 2022, 38 (02) : 325 - 335
  • [4] THREE-TIERED NETWORK MODEL FOR IMAGE HALLUCINATION
    Ma, Lin
    Zhang, Yonghua
    Lu, Yan
    Wu, Feng
    Zhao, Debin
    [J]. 2008 15TH IEEE INTERNATIONAL CONFERENCE ON IMAGE PROCESSING, VOLS 1-5, 2008, : 357 - 360
  • [5] SEA: Fast power estimation for micro-architectures
    Kalla, P
    Henkel, J
    Hu, XBS
    [J]. 2003 5TH INTERNATIONAL CONFERENCE ON ASIC, VOLS 1 AND 2, PROCEEDINGS, 2003, : 1200 - 1200
  • [6] Multi-Scale Characterization for Micro-Architectures
    Raymont, David
    Hao, Liang
    Young, Philippe G.
    [J]. 11TH INTERNATIONAL CONFERENCE ON THE MECHANICAL BEHAVIOR OF MATERIALS (ICM11), 2011, 10 : 3146 - 3151
  • [7] SEA: Fast power estimation for micro-architectures
    Kalla, P
    Henkel, J
    Hu, XS
    [J]. ASP-DAC 2003: PROCEEDINGS OF THE ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE, 2003, : 600 - 605
  • [8] Hierarchical micro-architectures of electrodes for energy storage
    Yue, Yuan
    Liang, Hong
    [J]. JOURNAL OF POWER SOURCES, 2015, 284 : 435 - 445
  • [9] The fabrication and cell culture of three-dimensional rolled scaffolds with complex micro-architectures
    Liu, Yaxiong
    Li, Xiao
    Qu, Xiaoli
    Zhu, Lin
    He, Jiankang
    Zhao, Qian
    Wu, Wanquan
    Li, Dichen
    [J]. BIOFABRICATION, 2012, 4 (01)
  • [10] Exploratory Catalog of Architectures and Rural Micro-Architectures in the National Park of Cilento
    Ranaldi, Antonella
    [J]. PUTTING TRADITION INTO PRACTICE: HERITAGE, PLACE AND DESIGN, 2018, 3 : 778 - 782
12345