Formalizing Timed BPEL by D-LOTOS

Chama, Imed Eddine; Belala, Nabil; Saïdouni, Djamel Eddine

doi:10.4018/ijertcs.2014040102

Cited by 2 publications

(2 citation statements)

References 23 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This is a result of the architecture used, i.e., the two modules, the MEE and the PEE, and their interaction via TCP/IP sockets. This architecture may support any type of behavioral model, such as UML behavioral diagrams [22], process algebra [24], BPEL [25], and BPMN [26]. On the other hand, the language used may be any programming language capable of supporting reflection/meta-programming, such as Scala (www.scala-lang.org, accessed on 1 August 2021) or Java (www.java.com, accessed on 1 August 2021).…”

Section: Discussionmentioning

confidence: 99%

Models@Runtime: The Development and Re-Configuration Management of Python Applications Using Formal Methods

et al. 2021

View full text Add to dashboard Cite

Models@runtime (models at runtime) are based on computation reflection. Runtime models can be regarded as a reflexive layer causally connected with the underlying system. Hence, every change in the runtime model involves a change in the reflected system, and vice versa. To the best of our knowledge, there are no runtime models for Python applications. Therefore, we propose a formal approach based on Petri Nets (PNs) to model, develop, and reconfigure Python applications at runtime. This framework is supported by a tool whose architecture consists of two modules connecting both the model and its execution. The proposed framework considers execution exceptions and allows users to monitor Python expressions at runtime. Additionally, the application behavior can be reconfigured by applying Graph Rewriting Rules (GRRs). A case study using Service-Level Agreement (SLA) violations is presented to illustrate our approach.

show abstract

Section: Discussionmentioning

confidence: 99%

Models@Runtime: The Development and Re-Configuration Management of Python Applications Using Formal Methods

et al. 2021

View full text Add to dashboard Cite

show abstract

“…2 It supports the distributed and the communicating aspects which allow handling compositions of multiple web services compared to our previous works (Chama et al, 2014b(Chama et al, , 2014c.…”

Section: Introductionmentioning

confidence: 99%

A timed semantics for web services composition

Chama

Belala

Saïdouni

2017

IJBPIM

Self Cite

View full text Add to dashboard Cite

This paper introduces a method to analyse and verify the BPEL language. We propose a transformation approach based on the translation of BPEL descriptions to the communicating durational action timed automata (C-DATA) model which is a distributed, real-time semantic model that is based on true-concurrency semantics and supports the distributed and the communicating aspects. In order to handle compositions of multiple web services and exchanged messages between them we represent each BPEL service by a local C-DATA, while the global system is represented by all these local C-DATAs. These local C-DATAs communicate with each other by exchanging messages through communication channels. This approach considers both timing constraints and interaction durations between web services.

show abstract

Formalizing Timed BPEL by D-LOTOS

Cited by 2 publications

References 23 publications

Models@Runtime: The Development and Re-Configuration Management of Python Applications Using Formal Methods

Models@Runtime: The Development and Re-Configuration Management of Python Applications Using Formal Methods

A timed semantics for web services composition

Contact Info

Product

Resources

About