loading...
Integration of the Domain Modeling Method for Families of Systems with the SOFL Formal Specification Language
Tokyo, Japan September 11-September 15
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICECCS.2000.873928Sixth IEEE International Conference o ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
H. Gomaa, Shaoying Liu, M.E. Shin, "Integration of the Domain Modeling Method for Families of Systems with the SOFL Formal Specification Language," Engineering of Complex Computer Systems, IEEE International Conference on, pp. 0061, Sixth IEEE International Conference on Complex Computer Systems (ICECCS'00), 2000.
 
 
BibTex
x
 
@article{ 10.1109/ICECCS.2000.873928,
author = {H. Gomaa and Shaoying Liu and M.E. Shin},
title = {Integration of the Domain Modeling Method for Families of Systems with the SOFL Formal Specification Language},
journal ={Engineering of Complex Computer Systems, IEEE International Conference on},
volume = {0},
year = {2000},
isbn = {0-7695-0583-X},
pages = {0061},
doi = {http://doi.ieeecomputersociety.org/10.1109/ICECCS.2000.873928},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Engineering of Complex Computer Systems, IEEE International Conference on
TI - Integration of the Domain Modeling Method for Families of Systems with the SOFL Formal Specification Language
SN - 0-7695-0583-X
SP
EP
A1 - H. Gomaa,
A1 - Shaoying Liu,
A1 - M.E. Shin,
PY - 2000
KW - specification languages; domain modeling method; families of systems; SOFL formal specification language; application domain; multiple view object oriented analysis model; aggregation hierarchies; generalization/specialization hierarchies; UML static modeling notation; object communication diagrams; SOFL condition data flow diagram notation; variant classes
VL - 0
JA - Engineering of Complex Computer Systems, IEEE International Conference on
ER -
 
H. Gomaa, Dept. of Inf. & Software Eng., George Mason Univ., Fairfax, VA, USA
Shaoying Liu, Dept. of Inf. & Software Eng., George Mason Univ., Fairfax, VA, USA
M.E. Shin, Dept. of Inf. & Software Eng., George Mason Univ., Fairfax, VA, USA
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. The 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.
Index Terms:
specification languages; domain modeling method; families of systems; SOFL formal specification language; application domain; multiple view object oriented analysis model; aggregation hierarchies; generalization/specialization hierarchies; UML static modeling notation; object communication diagrams; SOFL condition data flow diagram notation; variant classes
Citation:
H. Gomaa, Shaoying Liu, M.E. Shin, "Integration of the Domain Modeling Method for Families of Systems with the SOFL Formal Specification Language," iceccs, pp.0061, Sixth IEEE International Conference on Complex Computer Systems (ICECCS'00), 2000
Usage of this product signifies your acceptance of the Terms of Use.