Title :
A practical semantics for design facet interaction
Author :
Alexander, Perry ; Kong, Cindy ; Schonberger, David
Author_Institution :
Inf. & Telecommun. Technol. Center, Kansas Univ., Lawrence, KS, USA
Abstract :
Systems engineering is dominated by the need to integrate information from one design domain with information from another. Unfortunately, few requirements description languages support modeling heterogeneous requirements or modeling how those requirements interact. The paper describes the semantics of the Rosetta interaction specification capability (P. Alexander, 1998). The Rosetta interaction allows the user to explicitly define when and how specifications from multiple domains affect each other. Such interaction supports predictive analysis during the requirements specification and design life-cycle phases, thus reducing the cost of systems level information.
Keywords :
formal specification; programming language semantics; specification languages; systems analysis; Rosetta interaction specification capability; design domain; design facet interaction; design life-cycle phases; heterogeneous requirements modeling; multiple domains; practical semantics; predictive analysis; requirements description languages; requirements specification; systems engineering; systems level information cost; Costs; Design engineering; Energy consumption; Information analysis; Power engineering and energy; Power system modeling; Specification languages; Systems engineering and theory; Vocabulary;
Conference_Titel :
Engineering of Computer Based Systems, 2001. ECBS 2001. Proceedings. Eighth Annual IEEE International Conference and Workshop on the
Conference_Location :
Washington, DC, USA
Print_ISBN :
0-7695-1086-8
DOI :
10.1109/ECBS.2001.922427