%0 Conference Paper %1 cardei_model_2008 %A Cardei, I. %A Fonoage, M. %A Shankar, R. %B Systems Conference, 2008 2nd Annual IEEE %D 2008 %K (artificial Language Modeling Prolog; Unified architectures; automation; based component component-based cycle; design development development; diagrams; driven formal functional intelligence); knowledge language; model object-oriented of ontologies ontology-based programming; quality representation; requirements requirements; ruled-based service; specification; structure system system; systems systems; validation; {SysML} {UML/SysML} {XMI} {analysisOWL}; %P 1--8 %R 10.1109/SYSTEMS.2008.4519001 %T Model Based Requirements Specification and Validation for Component Architectures %X Requirements specification is a major component of the system development cycle. Mistakes and omissions in requirements documents lead to ambiguous or wrong interpretation by engineers and, in turn, cause errors that trickle down in design and implementation with consequences on the overall development cost. In this paper we describe a methodology for requirements specification that aims to alleviate the above issues and that produces models for functional requirements that can be automatically validated for completeness and consistency. This methodology is part of the Requirements Driven Design Automation framework (RDDA) that we develop for component-based system development. The RDDA framework uses an ontology-based language for semantic description of functional product requirements, UM- L/SysML structure diagrams, component constraints, and Quality of Service. The front end method for requirements specification is the SysML editor in Rhapsody. A requirements model in OWL is converted from SysML XMI representation. The specification is validated for completeness and consistency with a ruled-based system implemented in Prolog. With our methodology, omissions and several types of consistency errors present in the requirements specification are detected early on, before the design stage.

@inproceedings{cardei_model_2008, abstract = {Requirements specification is a major component of the system development cycle. Mistakes and omissions in requirements documents lead to ambiguous or wrong interpretation by engineers and, in turn, cause errors that trickle down in design and implementation with consequences on the overall development cost. In this paper we describe a methodology for requirements specification that aims to alleviate the above issues and that produces models for functional requirements that can be automatically validated for completeness and consistency. This methodology is part of the Requirements Driven Design Automation framework {(RDDA)} that we develop for component-based system development. The {RDDA} framework uses an ontology-based language for semantic description of functional product requirements, {UM-} {L/SysML} structure diagrams, component constraints, and Quality of Service. The front end method for requirements specification is the {SysML} editor in Rhapsody. A requirements model in {OWL} is converted from {SysML} {XMI} representation. The specification is validated for completeness and consistency with a ruled-based system implemented in Prolog. With our methodology, omissions and several types of consistency errors present in the requirements specification are detected early on, before the design stage.}, added-at = {2013-02-28T11:13:35.000+0100}, author = {Cardei, I. and Fonoage, M. and Shankar, R.}, biburl = {https://www.bibsonomy.org/bibtex/29eb91e166176f3d35dc05c7f74b008be/fritzsolms}, booktitle = {{Systems Conference, 2008 2nd Annual {IEEE}}}, doi = {10.1109/SYSTEMS.2008.4519001}, interhash = {0954867e9da3ab92649843cf4ae1d649}, intrahash = {9eb91e166176f3d35dc05c7f74b008be}, keywords = {(artificial Language Modeling Prolog; Unified architectures; automation; based component component-based cycle; design development development; diagrams; driven formal functional intelligence); knowledge language; model object-oriented of ontologies ontology-based programming; quality representation; requirements requirements; ruled-based service; specification; structure system system; systems systems; validation; {SysML} {UML/SysML} {XMI} {analysisOWL};}, month = apr, pages = {1--8}, review = {{SUMMARY} {(Fritz)} - provide a methodology {(RDDA} - Requirements Driven Design Automation) for requirements specification - resultant functional requirements can be automatically validated for consistency and completeness - Define {ODL} {(OPP} Design Language, {OPP} - One Pass to Production), an {OWL-based} {DSL} for requirements specification - Users add semantic descriptions inside {SYS-ML}, {SYSML} diagrams exported as {XMI} and transformed via {XSLT} to {ODL} ontology - Validation of consistency and completeness done in Prolog against {ODL} - very structure focused, no services contracts, no recursive orchestration of higher level services from lower level services}, timestamp = {2013-02-28T11:13:42.000+0100}, title = {{Model Based Requirements Specification and Validation for Component Architectures}}, year = 2008 }