Towards formalizing web service composition in Maude's strategy language

Mérouani, Hamza; Mokhati, Farid; Seridi-Bouchelaghem, Hassina

doi:10.1145/1874590.1874605

Cited by 4 publications

(4 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…[86] , deadlock freeness [94], consistency [100] , non-conflict [58], conformance [56] , completeness [100], fairness [26], trustworthiness [41] , and communication properties such as unmatched send messages [21]. It is worth mentioning that verification of some of these properties can be automatically achieved when other properties are verified.…”

Section: Ref Context Privacy Challenges How Addressedmentioning

confidence: 99%

“…This approach leverages available hardware or cloud resources to alleviate the computation of formally specified models or to implement measures against eventual crashes when the state space computation exceeds the available resource capacity. Examples of this approach include [100], where the TLA specification makes use of multi-threading and allows access to multi-core processing or by offloading and distributing computation among multiple AWS EC2 cloud instances, or [190], where the simulator manages the state space explosion problem by stopping the simulated model to prevent crashes when the space is too large, which doesn't reduce or eliminate the state space explosion problem.…”

Section: C) Resource Managementmentioning

confidence: 99%

See 1 more Smart Citation

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: Ref Context Privacy Challenges How Addressedmentioning

confidence: 99%

Section: C) Resource Managementmentioning

confidence: 99%

IoT Capabilities Composition and Decomposition: A Systematic Review

et al. 2023

View full text Add to dashboard Cite

show abstract

“…Other applications Maude's strategy language has also been applied to solve sudoku puzzles in [44]; to formalize web services composition in [38]; to execute a rewriting logic representation of neural networks and the backpropagation learning algorithm in [45]; to present a rule-based approach for the design of dynamic software architectures in [16]; and to develop a specification of the connection method (a goal-directed proof procedure that requires a careful control over clause copies) for first-order logic in [29]. Of course, there are surely more examples we are not aware of yet.…”

Section: Some Applicationsmentioning

confidence: 99%

“…Since its proposal, the language has been successfully applied to a wide range of examples, from operational semantics representations to the formalization of web services; in particular, in the context of business process modelling that we have mentioned above, the Maude strategy language has been used to represent in Maude fragments of BPEL [38] and also of BPMN [25].…”

Section: Introductionmentioning

confidence: 99%

Basic completion strategies as another application of the Maude strategy language

Verdejo

Martí-Oliet

2012

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

The two levels of data and actions on those data provided by the separation between equations and rules in rewriting logic are completed by a third level of strategies to control the application of those actions. This level is implemented on top of Maude as a strategy language, which has been successfully used in a wide range of applications. First we summarize the Maude strategy language design and review some of its applications; then, we describe a new case study, namely the description of completion procedures as transition rules + control, as proposed by Lescanne.

show abstract

Maude specification of web service composition and adaptation

Oussalah

Zeghib

2012

Second International Conference on the Innovative Computing Technology (INTECH 2012)

View full text Add to dashboard Cite

Towards formalizing web service composition in Maude's strategy language

Cited by 4 publications

References 9 publications

IoT Capabilities Composition and Decomposition: A Systematic Review

IoT Capabilities Composition and Decomposition: A Systematic Review

Basic completion strategies as another application of the Maude strategy language

Maude specification of web service composition and adaptation

Contact Info

Product

Resources

About