<abstract xmlns="http://www.w3.org/1999/xhtml"><p><italic></italic>The paper discusses application of the topological functioning model (TFM) of the system for its automated transformation to behavioural specifications such as UML Activity Diagram, BPMN diagrams, scenarios, etc. The paper addresses a lack of formal specification of causal relations between functional features of the TFM by using inference means suggested by classical logic. The result is reduced human participation in the transformation as well as additional check of analysis and specification of the system. </p></abstract>

The paper discusses application of the topological functioning model (TFM) of the system for its automated transformation to behavioural specifications such as UML Activity Diagram, BPMN diagrams, scenarios, etc. The paper addresses a lack of formal specification of causal relations between functional features of the TFM by using inference means suggested by classical logic. The result is reduced human participation in the transformation as well as additional check of analysis and specification of the system.

Notion of causal relations of the topological functioning model

Applied Computer Systems

{"article-title":"Notion of causal relations of the topological functioning model"}

The paper discusses application of the topological functioning model (TFM) of the system for its automated transformation to behavioural specifications such as...

Notion of causal relations of the topological functioning model

Publié en ligne: 08 nov. 2012

Pages: 68 - 73

DOI: https://doi.org/10.2478/v10312-012-0009-z

This content is open access.