Proceedings of the 19th International Conference on Enterprise Information Systems 2017
DOI: 10.5220/0006290202540262
|View full text |Cite
|
Sign up to set email alerts
|

Using Linear Logic to Verify Requirement Scenarios in SOA Models based on Interorganizational WorkFlow Nets Relaxed Sound

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

2019
2019
2020
2020

Publication Types

Select...
1
1
1

Relationship

0
3

Authors

Journals

citations
Cited by 3 publications
(1 citation statement)
references
References 0 publications
0
1
0
Order By: Relevance
“…(1) Most workflow models focus on the process perspective and neglect the organizational perspective [17,18]. (2) Workflow analysis is aimed at the verification of reliability and validity [19][20][21], while research on quantitative performance analysis is less likely to be aimed at such a verification [22,23]. (3) Such research ignores collaborative relationships between participants.…”
Section: Introductionmentioning
confidence: 99%
“…(1) Most workflow models focus on the process perspective and neglect the organizational perspective [17,18]. (2) Workflow analysis is aimed at the verification of reliability and validity [19][20][21], while research on quantitative performance analysis is less likely to be aimed at such a verification [22,23]. (3) Such research ignores collaborative relationships between participants.…”
Section: Introductionmentioning
confidence: 99%