No abstract

No abstract

No abstract

No abstract

No abstract

No abstract

Model-driven system design is facilitated by SysML language, which provides distinct diagrams to describe system structure and components, explore allocation policies and identify system requirements. While non-functional requirements play a significant role in system design, their are not effectively supported by SysML. This paper emphasizes on a SysML extension to facilitate the effective description and verification of non-functional quantitative requirements. The introduction of a distinct SysML diagram to explore evaluation results enhances requirement verification capabilities, while the visualization of verification process helps system engineers to explore design decisions and properly adjust system design. Based on the proposed SysML extension, a profile for Enterprise Information System architecture design was developed. To demonstrate the potential of the proposed approach, the description and verification of software performance requirements using this profile are discussed, as an example.

No abstract