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

Hassan Gomaa, Shaoying Liu, Michael E. Shin

Research output: Contribution to conferencePaper

6 Scopus citations

Abstract

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.

Original languageEnglish
Pages61-71
Number of pages11
StatePublished - 2000
EventProceedings of the 6th IEEE International Confernce on Engineering of Complex Computer Systems - Tokyo, Jpn
Duration: Sep 11 2000Sep 14 2000

Conference

ConferenceProceedings of the 6th IEEE International Confernce on Engineering of Complex Computer Systems
CityTokyo, Jpn
Period09/11/0009/14/00

Fingerprint Dive into the research topics of 'Integration of the domain modeling method for families of systems with the SOFL formal specification language'. Together they form a unique fingerprint.

Cite this