Formalizing BPEL-TC Through Π-Calculus

Marwaha, Preeti; Banati, Hema; Bedi, Punam

doi:10.5121/ijwest.2013.4302

Cited by 3 publications

(4 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…BPEL data models describe composite services processes and enable their deployment in three steps: process template creation, process composition, and process installation. Another flavor of BPEL, WS-BPEL [156][205], describes services and their execution and compositions [153], with BPEL-TC upgrading the features of WS-BPEL to include composition and decomposition requirements for temporally customized web services [155]. OWL-S enables nested classes description to model functional and nonfunctional properties of IoT devices [183][157], and OWLS-TC4 provides simple capability aggregation mechanisms for non-complex compositions [123].…”

Section: ) Aq8: What Roles Do Communication Protocols Play In Composi...mentioning

confidence: 99%

IoT Capabilities Composition and Decomposition: A Systematic Review

et al. 2023

View full text Add to dashboard Cite

As billions of IoT devices join the Internet, researchers and innovators increasingly explore IoT capabilities achieved via service composition or reuse of existing capabilities via service decomposition. Many systematic literature reviews (SLRs) were produced on this subject; however, two issues remain to be addressed: i) a reference taxonomy of the different aspects of IoT capabilities composition and decomposition is needed, and ii) many formal questions (e.g., standards role, formal representations applications, state-space explosion countermeasures, etc.), technical questions (e.g., composition process types and automation levels synergies, service decomposition categories, the role of AI/ML, etc.), and QoS questions (e.g., privacy, interoperability, and scalability challenges and solutions, etc.) remain unanswered. We introduce this work by discussing notions of IoT capabilities composition and decomposition in a layered IoT architecture while highlighting the strengths and weaknesses of existing SLRs. We identify unanswered questions through gaps in related work and motivate these questions using the PICOC methodology. We explain the search methodology and organize the topic questions using the proposed reference taxonomy. The identified research questions are answered, and trends and gaps that need additional attention from the research community are highlighted. This effort benefits city planners and end-users of IoT systems as it contributes to a better understanding of the role of composition and decomposition of IoT capabilities in building valueadded services or reusing existing ones for resource optimization. For researchers, this effort contributes a reference taxonomy for the topic and sheds light on important questions while highlighting corresponding trends and gaps requiring further attention.

show abstract

Section: ) Aq8: What Roles Do Communication Protocols Play In Composi...mentioning

confidence: 99%

IoT Capabilities Composition and Decomposition: A Systematic Review

et al. 2023

View full text Add to dashboard Cite

show abstract

“…Не менша увага приділяється й модернізації мови BPEL. Представлено розширення BPEL для більш гнучкого представлення даних [12], для кращого ро зуміння та читання BPMN моделей [13], доповнення BPELTC -для застосування моделей процесів ана лізу та синтезу (декомпозиції та композиції) [14] та ін. Також багато робіт присвячено взаємоперетворенню моделей з BPMN у BPEL і навпаки за рахунок мето дик функціонального програмування [15], інструменту WorkflowNet2BPEL4WS [16] та мереж Петрі [17].…”

Section: аналіз літературних данихunclassified

Development of the complex description of business processes in the organization

Захарченко

Marchenko

Неня

et al. 2016

TAPR

View full text Add to dashboard Cite

“…However, this method did not consider the verification of multi-services interaction (three or more services). The literature [8] dealt with the change of composite service by using pi-calculus to present the business process execution language. However, the method proposed in [8] described the behavior variables and control flows in a static manner and did not explain the dynamic interaction process between services.…”

Section: Introductionmentioning

confidence: 99%

“…The literature [8] dealt with the change of composite service by using pi-calculus to present the business process execution language. However, the method proposed in [8] described the behavior variables and control flows in a static manner and did not explain the dynamic interaction process between services. The literature [1] represented and verified the dynamic interaction process between composite services by pi-calculus, but it only considered the message exchange in two services.…”

Section: Introductionmentioning

confidence: 99%

Compatibility Verification of Web Service Composition Based on Pi-calculus

Jia¹,

Xing²

2015

Proceedings of the 2015 Joint International Mechanical, Electronic and Information Technology Conference

View full text Add to dashboard Cite

With the rapid development of web services, service computing is evolving into an important computing paradigm. One of the challenges in this evolution is how to ensure the correction of service composition. To verify the compatibility of composite service, we use pi-calculus to model the composite service process and present the related concepts and theorem of composition compatibility. Moreover, we propose an automate method to generate the process expression for increasing the verification efficiency.

show abstract

Formalizing BPEL-TC Through Π-Calculus

Abstract: WS-BPEL is way to define business processes that interact

Cited by 3 publications

References 11 publications

IoT Capabilities Composition and Decomposition: A Systematic Review

IoT Capabilities Composition and Decomposition: A Systematic Review

Development of the complex description of business processes in the organization

Compatibility Verification of Web Service Composition Based on Pi-calculus

Contact Info

Product

Resources

About