Method and Digital Tool for Engineering Software Architectures of Complex Cyber-Physical Systems of Different Technical Domains
1 Assignment
0 Petitions
Accused Products
Abstract
In order to engineer software architectures of complex cyber-physical systems of different technical domains such that both time and effort efficient and truly interactive engineering of software architectures of complex cyber-physical systems is enabled, it is proposed to provide an automatic enforcement of multi-level Constraints across architectural Views. This provides, (i) with regard to architectural aspects of such a complex cyber-physical system being captured in Views including various Entities being related to each other and entities being related across various Views and (ii) that these multi-view Constraints particularly implying that the Constraints placed on the Entities in one View may affect the validity of the relations of the Entities in another View, an error-free engineering, (e.g., without violating at least one Constraint), together with a rapid, in particular visual, feedback of Constraints being invalidated and Entities involved in the Constraints.
-
Citations
36 Claims
-
1-18. -18. (canceled)
-
19. A method for engineering software architectures with architectural aspects of a complex cyber physical system being captured in views comprising entities being related to each other and being related across various views, the method comprising:
-
a) modeling, by graph-based modeling, the entities to be under analysis as nodes and relations between the entities as edges, wherein either no attribute or at least one attribute is assigned to the nodes and the edges, thereby mapping user input concepts into the nodes and the edges with the attributes and storing modeled graph data; b) specifying properties desired of the entities as constraints having to be satisfied; c) inputting at least one query and at least one constraint for the graph-based modeling; d) evaluating the at least one constraint by transforming one graph into at least one other graph and using provided implementations of graph algorithms; e) processing the at least one query against a current set of the stored graph data by using a graph-query-language; f) evaluating the inputted constraints on a set of nodes and edges against the current set of the stored graph data and providing on detecting constraint-violations callback functions specifying locations of the constraint-violations; and g) editing results of at least one of acts (a), (d), (e), or (f) concerning the modeling, specifying, inputting, evaluating, or processing and the callback functions specifying the locations of the constraint-violations for at least one of visualizing and outputting. - View Dependent Claims (20, 21, 22, 23, 24, 25)
-
-
26. A digital tool for engineering software architectures with architectural aspects of a complex cyber physical system being captured in views comprising entities being related to each other and being related across various views, the digital tool comprising:
-
a model management software component; a graphical user interface software component; and a graph database software component, the model management software component, the graphical user interface software component, and the graph database software component forming a functional unit, wherein; a) a graph-based modeling module of the model management software component functionally associated with the graphical user interface software component and the graph database software component, wherein the entities to be under analysis as nodes and relations between the entities as edges are modeled, whereby to both the nodes and the edges either no attribute or at least one attribute is assigned, thereby mapping user input concepts into the nodes and the edges with the attributes and modeled graph data are stored in the graph database software component; b) the graph-based modeling module properties desired of the entities as constraints, which have to be satisfied, are specified; c) the graphical user interface software component functionally associated with the graph-based modeling module at least one query and at least one constraint used by the graph-based modeling module for the graph-based modeling is inputted; d) a graph transformation module and a graph analysis module of the model management software component functionally associated with each of the graph-based modeling module and the graph database software component the at least one constraint is evaluated by transforming one graph into at least one other graph and using implementations of graph algorithms provided by the graph analysis module; e) a query processor module of the model management software component functionally associated with each of the graph-based modeling module, the graph transformation module, the graph analysis module, and the graph database software component and, using a graph-query-language, the at least one query is processed against a current set of the graph data in the graph database software component; f) a constraint solver module of the model management software component functionally associated with each of the graph-based modeling module, the graph transformation module, the graph analysis module, and the graph database software component the inputted constraints on a set of nodes and edges are evaluated against the current set of the graph data in the graph database software component and on detecting constraint-violations callback functions specifying locations of the constraint-violations are provided; and g) an editing-module of the graphical user interface software component functionally associated with each of the graph-based modeling module, the query processor module, and the constraint solver module results of at least one of the previous actions according to (a), (d), (e) and (f) concerning the modeling, evaluating, processing, and the callback functions specifying locations of the constraint-violations are edited for at least one of visualizing and outputting. - View Dependent Claims (27, 28, 29, 30, 31, 32, 33, 34, 35, 36)
-
Specification