An automated approach to specification animation for validation
Journal of Systems and Software
Integrating top-down and scenario-based methods for constructing software specifications
Information and Software Technology
UML-compiler: a framework for syntactic and semantic verification of UML diagrams
ICDCIT'10 Proceedings of the 6th international conference on Distributed Computing and Internet Technology
Hi-index | 0.00 |
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.