“…(define-activity-role :id <number>* :name <string> :successors <number>* :preconditions <PSL sentence>* :postconditions <PSL sentence>*) (Grüninger and Menzel, 2003) (define-object :name <KIF constant> :constraints <PSL sentence>*) (Grüninger and Menzel, 2003) (define-parameter :variable <KIF variable> :constraints <PSL sentence>*) (Grüninger and Menzel, 2003) Process-inputs, outputs, and parameters PSL, IDEF5, OWL-S, STEP Perakath et al, 1994;Knutilla et al, 1998;Grüninger and Cutting-Decelle, 2000;Pouchard et al, 2000;Pratt, 2001;Zha and Du, 2002;Grüninger and Menzel, 2003;Bock and Grüninger, 2004;Grüninger, 2004;Martin et al, 2004;Chen and Chen, 2005;Bechhofer, 2009;Grüninger, 2009;Lützenberger et al, 2012;W3C, 2012;Fellmann et al, 2013 Engineering rules, logic, constraints, rationale RuleML, RIF, OWL DL Boley et al, 2005;Bechhofer, 2009;Lützenberger et al, 2012;W3C, 2012;Fellmann et al, 2013;Colombo et al, 2014 Requirement Requirements interchange format (ReqIF), SysML requirements diagram Weilkiens, 2007;Lützenberger et al, 2012;Fellmann et al, 2013;OMG, 2013;Colombo et al, 2014 The object declaration can be a constant as shown in the first object declaration or a variable as shown in the next object declaration. The PSL syntax illustrating the flow of information along with extensions to illustrate parameters along with inputs and outputs is shown as follows, but only for blade geometry optimisation.…”