2023
DOI: 10.1016/j.jss.2023.111625
|View full text |Cite
|
Sign up to set email alerts
|

Goal model convergence and conflict detection for crossover services

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

2023
2023
2023
2023

Publication Types

Select...
2

Relationship

1
1

Authors

Journals

citations
Cited by 2 publications
(1 citation statement)
references
References 31 publications
0
1
0
Order By: Relevance
“…Peng et al 42 proposed a goal model convergence method by detecting inconsistencies in goal models and resolving potential conflicts. Liu et al 43 introduced a method for goal convergence based on goal decomposition paths. They also detected goal conflicts in the converged model by representing and processing CTL formulas derived from goals' temporal formalizations using a CTL SAT checker.…”
Section: Related Workmentioning
confidence: 99%
“…Peng et al 42 proposed a goal model convergence method by detecting inconsistencies in goal models and resolving potential conflicts. Liu et al 43 introduced a method for goal convergence based on goal decomposition paths. They also detected goal conflicts in the converged model by representing and processing CTL formulas derived from goals' temporal formalizations using a CTL SAT checker.…”
Section: Related Workmentioning
confidence: 99%