This paper proposes, demonstrates, and validates a protocol to formalise mechanical function verb definitions to support automated analysis of early design concepts, specifically, physics-based model checking using the conservation laws. Present graph-based function structures rely on controlled vocabularies of verbs and nouns to model functions and flows. Currently, all vocabularies define these terms in plain text, allowing inconsistent interpretation and term usage in models, thus making the models unsuitable for formal computational reasoning. To address this limitation, two types of model-level consistenciestopological and conservational -are identified through model examination as critical requirements for physics-based reasoning. A protocol is then demonstrated to evolve three verbs -Branch, Distribute, and Convert_Energy -from their textual definitions into formal classes that include the necessary information elements to support this reasoning. These verbs are used to construct function models, which are then used to simulate reasoning by computer algorithms, thus validating that the definitions indeed support conservation-based model checks at the conceptual level.
Objective and scopeThe overall motivation of this research is to develop a formal representation of mechanical functions in order to develop software tools that allow modelling and analysis of design concepts using automated reasoning that is presently not supported. As a first step in this direction, this paper presents a protocol to derive formal definitions of function verbs from their existing informal definitions that will ensure two basic types of model-level consistencies: (1) topological and (2) conservational. The first ensures that the count and types of input and output flows associated with the instances of a given verb in a function structure are consistent. The second ensures that each function in the model obeys material and energy conservation laws. This research is motivated by the possibility of supporting a concept-level analysis in design. As the critical objective of conceptual design is to synthesise design solutions, much of the *Corresponding author.