Functional Reasoning of System Architecture in the System Modeling Language (SysML) With XML Representation
Parth Ganeriwala, Candice Normalee Chambers, Chiradeep Sen, Siddhartha Bhattacharyya · 2023
Abstract Formal and structured modeling of system or software behavior enables automated reasoning early in the design process. This permits checking the correctness of the flow of information, consistency among the interacting components, and dependencies among components, to mention a few potential automated reasoning. Presently, research efforts have emphasized the integration of formal analytical capabilities with systems modeling methods. But, the approaches lack formal representations for function-based modeling and reasoning. Prior research in function-based design has produced formal languages, graphical representations, and reasoning algorithms that support model consistency checks, physics-based verification of model correctness, natural-language and qualitative physics-based grammars that grow and decompose given function models, and formal representation of system states that support causal analysis within the function modeling context. We posit that by integrating these capabilities into the system modeling languages, we could significantly augment the languages’ capability to support formal function-based reasoning, which was not possible so far. In this paper, we address this gap with the creation of domain-specific language for function-based modeling. This is illustrated with a coffeemaker example designed in a systems engineering framework along with XML-based reasoning.