Specification of Decision-making and Control Flow Branching in Topological Functioning Models of Systems

Asnina, Erika; Ovchinnikova, Viktoria

doi:10.5220/0005479903640373

Cited by 8 publications

(6 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…It defines a cause from which triggering of an effect occurs. Formal definitions of causeeffect relations and their combinations are given in (Asnina and Ovchinnikova, 2015;Osis and Donins, 2017). The main definition states that a cause-effect relation is a binary relation that links a cause functional feature to an effect functional feature.…”

Section: <A R O Prcond Postcond Pr Ex>mentioning

confidence: 99%

Processing Use Case Scenarios and Text in a Formal Style as Inputs for TFM-based Transformations

Nazaruka¹

2020

BJMC

View full text Add to dashboard Cite

TFM (Topological Functioning Model) based transformations start from text fragments as inputs and end with source code. Automated processing of use case scenarios is likely to be more predictable than text in a formal style thanks to their structure. The goal of the research is to understand whether the differences in processing these two text forms are essential for getting core elements of a TFM, or even a structured form has essential limitations. The theoretical results illustrate that use case specifications may have more structured and less structured formats. Even in the former format, use case steps may contain explanations and even text fragments in a formal style that increases unpredictability. Analysis of text in the both cases requires part-of-speech tagging, lemmas, constituency and dependency parsing, coreference resolution, and language pattern matching. Thus, structuring the initial documents is questionable but cases when they are to be managed in projects.

show abstract

Section: <A R O Prcond Postcond Pr Ex>mentioning

confidence: 99%

Processing Use Case Scenarios and Text in a Formal Style as Inputs for TFM-based Transformations

Nazaruka¹

2020

BJMC

View full text Add to dashboard Cite

show abstract

“…Formal definitions of cause-effect relations and their combinations are given in [2], [13]. The main definition states that a cause-effect relation is a binary relation that links a cause functional feature to an effect functional feature.…”

Section: A Core Elements Of Topological Functioning Modelmentioning

confidence: 99%

Extracting TFM Core Elements From Use Case Scenarios by Processing Structure and Text in Natural Language

Nazaruka

Osis

Gribermane

2019

Applied Computer Systems

View full text Add to dashboard Cite

Extracting core elements of Topological Functioning Model (TFM) from use case scenarios requires processing of both structure and natural language constructs in use case step descriptions. The processing steps are discussed in the present paper. Analysis of natural language constructs is based on outcomes provided by Stanford CoreNLP. Stanford CoreNLP is the Natural Language Processing pipeline that allows analysing text at paragraph, sentence and word levels. The proposed technique allows extracting actions, objects, results, preconditions, post-conditions and executors of the functional features, as well as cause-effect relations between them. However, accuracy of it is dependent on the used language constructs and accuracy of specification of event flows. The analysis of the results allows concluding that even use case specifications require the use of rigor, or even uniform, structure of paths and sentences as well as awareness of the possible parsing errors.

show abstract

“…The formal definition of the cause-and-effect relations and their combinations are given in (Asnina and Ovčiņņikova, 2015) and are as follows: 1) Formal definition of a cause-and-effect relation: A cause-and-effect relation T i is a binary relationship that relates exactly two functional features X c and X e . Both X c and X e may be the same functional feature in case of recursion.…”

Section: The Tfm In Briefmentioning

confidence: 99%

Verification of BPMN Model Functional Completeness by using the Topological Functioning Model

Nazaruka

Ovchinnikova

Alksnis

et al. 2016

Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering

View full text Add to dashboard Cite

BPMN (Business Process Model and Notation) models are used to specify business knowledge in the language that is familiar for business people. They consist of multiple process diagrams that highlight different aspects of interaction among participants. Verification of BPMN models is important since graphical fragmentary presentation could be a source of errors such as incompleteness, deadlocks, livelocks, incorrect terminations etc. We consider verification of model completeness. The model is transformed to the topological functioning model (TFM) in order to check completeness of inputs, outputs and functioning cycles of the entire specified system. The proposed approach is dedicated to the verification of the model at the beginning of analysis, and it could be supplemented by other methods at the design stage. This approach is more dedicated to analysis of the whole system, than to the verification of the concrete fragment work.

show abstract

Specification of Decision-making and Control Flow Branching in Topological Functioning Models of Systems

Cited by 8 publications

References 7 publications

Processing Use Case Scenarios and Text in a Formal Style as Inputs for TFM-based Transformations

Processing Use Case Scenarios and Text in a Formal Style as Inputs for TFM-based Transformations

Extracting TFM Core Elements From Use Case Scenarios by Processing Structure and Text in Natural Language

Verification of BPMN Model Functional Completeness by using the Topological Functioning Model

Contact Info

Product

Resources

About