2015 International Symposium on Networks, Computers and Communications (ISNCC) 2015
DOI: 10.1109/isncc.2015.7238576
|View full text |Cite
|
Sign up to set email alerts
|
Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1

Citation Types

0
4
0

Year Published

2018
2018
2023
2023

Publication Types

Select...
4
1

Relationship

0
5

Authors

Journals

citations
Cited by 5 publications
(4 citation statements)
references
References 7 publications
0
4
0
Order By: Relevance
“…Labeled Transition Systems (LTS) are alternative approaches for modeling Web Service compositions [5] where transitions between states can represent Web Service interactions. In the mentioned paper, model-checking and temporal logic properties were used to verify the Web Service composition modeled using this approach.…”
Section: Iirelated Workmentioning
confidence: 99%
“…Labeled Transition Systems (LTS) are alternative approaches for modeling Web Service compositions [5] where transitions between states can represent Web Service interactions. In the mentioned paper, model-checking and temporal logic properties were used to verify the Web Service composition modeled using this approach.…”
Section: Iirelated Workmentioning
confidence: 99%
“…In addition, Ghannoudi et al presented the LTS‐based model checking approach to compose the B2B e‐commerce services. This approach identifies the internal actions for each invocated service in composition method.…”
Section: Categorizing Of Selected Service Composition Approachesmentioning
confidence: 99%
“…Also, a verification tool checks the expected temporal logic properties of the model automatically and addresses the state space explosion in an efficient method . In recent studies, the formal method approach has been discussed on the web services and cloud computing . Also, these studies described their approach according to the formal algebraic approach or the formal verification approach.…”
Section: Introductionmentioning
confidence: 99%
“…4 In recent studies, the formal method approach has been discussed on the web services and cloud computing. 5,6 Also, these studies described their approach according to the formal algebraic approach or the formal verification approach.…”
Section: Introductionmentioning
confidence: 99%