Integration of the domain modeling method for families of systems with the SOFL formal specification language

被引：0
|
作者：
Gomaa, Hassan [1 ]
Liu, Shaoying [1 ]
Shin, Michael E. [1 ]
机构：
[1] George Mason Univ, Fairfax, United States
来源：
Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS | 2000年
关键词：
Data flow analysis - Object oriented programming;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
An application domain is defined as a family of systems that have some features in common and others that differentiate them. A domain model is a multiple view object-oriented analysis model for the application domain that reflects the common aspects and variations among the members of the family of systems that constitute the domain. This paper describes the integration of the domain modeling method for analyzing and modeling families of software systems with the SOFL formal specification language. Aggregation hierarchies and generalization/specialization hierarchies are depicted using the UML static modeling notation. Object communication diagrams are depicted using the SOFL condition data flow diagram notation. SOFL is used for the formal specification of the kernel, optional and variant classes.
引用
收藏
页码：61 / 71
相关论文
共 50 条
  • [1] Integration of the domain modeling method for families of systems with the SOFL formal specification language
    Gomaa, H
    Liu, SY
    Shin, ME
    SIXTH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2000, : 61 - 71
  • [2] Formal engineering for industrial software development - An introduction to the SOFL specification language and method
    Liu, SY
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 3308 : 7 - 8
  • [3] Automated Software Specification and Design Using the SOFL Formal Engineering Method
    Liu, Shaoying
    Xue, Xiang
    2009 WRI WORLD CONGRESS ON SOFTWARE ENGINEERING, VOL 4, PROCEEDINGS, 2009, : 283 - +
  • [4] Formal Specification of a Particular Banking Domain with RAISE Specification Language
    Nami, Mohammad Reza
    Malekpour, Abbas
    2008 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS, VOLS 1-3, 2008, : 7 - +
  • [5] A formal specification language and automatic modeling method of asset securitization contract
    Li, Yang
    Hu, Kai
    Li, Jie
    Lu, Kaixiang
    Ai, Yuan
    JOURNAL OF KING SAUD UNIVERSITY-COMPUTER AND INFORMATION SCIENCES, 2024, 36 (08)
  • [6] Service-Oriented Modeling Using the SOFL Formal Engineering Method
    Miao, Weikai
    Liu, Shaoying
    2009 IEEE ASIA-PACIFIC SERVICES COMPUTING CONFERENCE (APSCC 2009), 2009, : 163 - 168
  • [7] 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
  • [8] Developing quality software systems using the SOFL formal engineering method
    Liu, SY
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2495 : 3 - 19
  • [9] A formal specification language for domain specific software development
    Basu, A
    Bhattacharya, S
    TENCON 2004 - 2004 IEEE REGION 10 CONFERENCE, VOLS A-D, PROCEEDINGS: ANALOG AND DIGITAL TECHNIQUES IN ELECTRICAL ENGINEERING, 2004, : B322 - B325
  • [10] A Language for Biochemical Systems: Design and Formal Specification
    Pedersen, Michael
    Plotkin, Gordon D.
    TRANSACTIONS ON COMPUTATIONAL SYSTEMS BIOLOGY XII, 2010, 5945 : 77 - 145
12345