The Experts below are selected from a list of 137067 Experts worldwide ranked by ideXlab platform
Mona Vajihollahi - One of the best experts on this subject based on the ideXlab platform.
-
a formal semantics for the business process execution language for web services
Joint Workshop on Web Services and Model-Driven Enterprise Information Services, 2016Co-Authors: Roozbeh Farahbod, Uwe Glässer, Mona VajihollahiAbstract:We define an Abstract operational semantics for the Business Process Execution Language for Web Services (BPEL) based on the Abstract state Machine (ASM) formalism. This way, we model the dynamic properties of the key language constructs through the construction of a BPEL Abstract Machine in terms of a distributed real-time ASM. Specifically, we focus here on the process execution model and the underlying execution lifecycle of BPEL activities. The goal of our work is to provide a well defined semantic foundation for establishing the key language attributes. The resulting Abstract Machine model provides a comprehensive and robust formalization at three different levels of Abstraction.
-
an Abstract Machine architecture for web service based business process management
Lecture Notes in Computer Science, 2006Co-Authors: Roozbeh Farahbod, Uwe Glässer, Mona VajihollahiAbstract:We define an Abstract operational model of the Business Process Execution Language for Web Services (BPEL) based on the Abstract state Machine (ASM) formalism. That is, we Abstractly model dynamic properties of the key language constructs through the construction of a BPEL Abstract Machine. Specifically, we present the process execution model and the underlying execution lifecycle of BPEL activities. The goal of our work is to provide a precise and well defined semantic framework for establishing the key language attributes. To this end, the BPEL Abstract Machine forms a comprehensive and robust formalization closely reflecting the view of the informal language definition.
-
an Abstract Machine architecture for web service based business process management
International Journal of Business Process Integration and Management, 2006Co-Authors: Roozbeh Farahbod, Uwe Glässer, Mona VajihollahiAbstract:We define an Abstract operational model of the Business Process Execution Language for Web Service (BPEL4WS) based on the Abstract State Machine (ASM) formalism. That is, we Abstractly model dynamic properties of the key language constructs through the construction of a Business Process Execution Language (BPEL) Abstract Machine. Specifically, we present the process execution model and the underlying execution lifecycle of BPEL activities. The goal of our work is to provide a precise and well defined semantic framework for establishing the key language attributes. To this end, the BPEL Abstract Machine forms a comprehensive and robust formalisation closely reflecting the view of the informal language definition.
Roozbeh Farahbod - One of the best experts on this subject based on the ideXlab platform.
-
a formal semantics for the business process execution language for web services
Joint Workshop on Web Services and Model-Driven Enterprise Information Services, 2016Co-Authors: Roozbeh Farahbod, Uwe Glässer, Mona VajihollahiAbstract:We define an Abstract operational semantics for the Business Process Execution Language for Web Services (BPEL) based on the Abstract state Machine (ASM) formalism. This way, we model the dynamic properties of the key language constructs through the construction of a BPEL Abstract Machine in terms of a distributed real-time ASM. Specifically, we focus here on the process execution model and the underlying execution lifecycle of BPEL activities. The goal of our work is to provide a well defined semantic foundation for establishing the key language attributes. The resulting Abstract Machine model provides a comprehensive and robust formalization at three different levels of Abstraction.
-
an Abstract Machine architecture for web service based business process management
Lecture Notes in Computer Science, 2006Co-Authors: Roozbeh Farahbod, Uwe Glässer, Mona VajihollahiAbstract:We define an Abstract operational model of the Business Process Execution Language for Web Services (BPEL) based on the Abstract state Machine (ASM) formalism. That is, we Abstractly model dynamic properties of the key language constructs through the construction of a BPEL Abstract Machine. Specifically, we present the process execution model and the underlying execution lifecycle of BPEL activities. The goal of our work is to provide a precise and well defined semantic framework for establishing the key language attributes. To this end, the BPEL Abstract Machine forms a comprehensive and robust formalization closely reflecting the view of the informal language definition.
-
an Abstract Machine architecture for web service based business process management
International Journal of Business Process Integration and Management, 2006Co-Authors: Roozbeh Farahbod, Uwe Glässer, Mona VajihollahiAbstract:We define an Abstract operational model of the Business Process Execution Language for Web Service (BPEL4WS) based on the Abstract State Machine (ASM) formalism. That is, we Abstractly model dynamic properties of the key language constructs through the construction of a Business Process Execution Language (BPEL) Abstract Machine. Specifically, we present the process execution model and the underlying execution lifecycle of BPEL activities. The goal of our work is to provide a precise and well defined semantic framework for establishing the key language attributes. To this end, the BPEL Abstract Machine forms a comprehensive and robust formalisation closely reflecting the view of the informal language definition.
Uwe Glässer - One of the best experts on this subject based on the ideXlab platform.
-
a formal semantics for the business process execution language for web services
Joint Workshop on Web Services and Model-Driven Enterprise Information Services, 2016Co-Authors: Roozbeh Farahbod, Uwe Glässer, Mona VajihollahiAbstract:We define an Abstract operational semantics for the Business Process Execution Language for Web Services (BPEL) based on the Abstract state Machine (ASM) formalism. This way, we model the dynamic properties of the key language constructs through the construction of a BPEL Abstract Machine in terms of a distributed real-time ASM. Specifically, we focus here on the process execution model and the underlying execution lifecycle of BPEL activities. The goal of our work is to provide a well defined semantic foundation for establishing the key language attributes. The resulting Abstract Machine model provides a comprehensive and robust formalization at three different levels of Abstraction.
-
an Abstract Machine architecture for web service based business process management
Lecture Notes in Computer Science, 2006Co-Authors: Roozbeh Farahbod, Uwe Glässer, Mona VajihollahiAbstract:We define an Abstract operational model of the Business Process Execution Language for Web Services (BPEL) based on the Abstract state Machine (ASM) formalism. That is, we Abstractly model dynamic properties of the key language constructs through the construction of a BPEL Abstract Machine. Specifically, we present the process execution model and the underlying execution lifecycle of BPEL activities. The goal of our work is to provide a precise and well defined semantic framework for establishing the key language attributes. To this end, the BPEL Abstract Machine forms a comprehensive and robust formalization closely reflecting the view of the informal language definition.
-
an Abstract Machine architecture for web service based business process management
International Journal of Business Process Integration and Management, 2006Co-Authors: Roozbeh Farahbod, Uwe Glässer, Mona VajihollahiAbstract:We define an Abstract operational model of the Business Process Execution Language for Web Service (BPEL4WS) based on the Abstract State Machine (ASM) formalism. That is, we Abstractly model dynamic properties of the key language constructs through the construction of a Business Process Execution Language (BPEL) Abstract Machine. Specifically, we present the process execution model and the underlying execution lifecycle of BPEL activities. The goal of our work is to provide a precise and well defined semantic framework for establishing the key language attributes. To this end, the BPEL Abstract Machine forms a comprehensive and robust formalisation closely reflecting the view of the informal language definition.
Olivier Gutknecht - One of the best experts on this subject based on the ideXlab platform.
-
operational semantics of multi agent organizations
Lecture Notes in Computer Science, 2000Co-Authors: Jacques Ferber, Olivier GutknechtAbstract:This paper introduces a formal description of the operational semantics of multiagent organizations expressed in the AALAADIN generic model. This formalization is based on the π-calculus and the Chemical Abstract Machine (CHAM). By mapping an agent to a set of π-calculus processes and groups to CHAM solutions, we show that it is possible to associate a precise semantics for the definition and dynamics of agents, groups and roles, independently of any implementation. Our show that formalization verifies the properties of AALAADIN: agents act in several groups simultaneously, communications are described through Abstract roles interaction, and organization management is performed by agents.
-
operational semantics of multi agent organizations
Intelligent Agents, 1999Co-Authors: Jacques Ferber, Olivier GutknechtAbstract:This paper introduces a formal description of the operational semantics of multiagent organizations expressed in the Aalaadin generic model. This formalization is based on the π-calculus and the Chemical Abstract Machine (Cham).
-
operational semantics of a role based agent architecture
1999Co-Authors: Jacques Ferber, Olivier GutknechtAbstract:This paper 1 introduces a formal description of the operational seman- tics of an agent architecture based on the agent-group-role description expressed in the AALAADIN model. This formalization is based on the -calculus and the Chemical Abstract Machine (CHAM). By mapping an agent to a set of -calculus processes and action contexts to CHAM solutions, we show that it is possible to associate a precise semantics for the definition and dynamics of agents, groups and roles, independently of any implementation. We show that our formalization verifies the properties of A ALAADIN: agents act in several groups simultaneously, communications are described through ab- stract roles interaction, and organization management is performed by individual agents.
Clara Segura - One of the best experts on this subject based on the ideXlab platform.
-
a resource semantics and Abstract Machine for safe a functional language with regions and explicit deallocation
Information & Computation, 2014Co-Authors: Manuel Montenegro, Ricardo Pena, Clara SeguraAbstract:In this paper we summarise Safe, a first-order functional language for programming small devices and embedded systems with strict memory requirements, which has been introduced elsewhere. It has some unusual memory management features such as heap regions and explicit cell deallocation. It is targeted at a Proof Carrying Code environment, and consistently with this aim the Safe compiler provides Machine checkable certificates about important safety properties such as the absence of dangling pointers and bounded memory consumption. The kernel of the paper is devoted to developing part of the Safe compiler's back-end, by deriving an appropriate Abstract Machine from the language semantics, by providing the code generation functions, and by formally proving that the translation is sound, both in the semantic and in the memory consumption senses.
-
a resource aware semantics and Abstract Machine for a functional language with explicit deallocation
Electronic Notes in Theoretical Computer Science, 2009Co-Authors: Manuel Montenegro, Ricardo Peoa, Clara SeguraAbstract:Safe is a first-order eager language with heap regions and unusual facilities such as programmer-controlled destruction and copying of data structures. The regions are disjoint parts of the heap where the compiler may allocate data structures. Thanks to regions, a runtime garbage collector is not needed. The language and its associated type system, guaranteeing that destruction facilities and region management are done in a safe way, have been presented previously. In this paper, we start from a high-level big-step operational semantics for Safe, and in a series of semi-formal steps we derive its compilation to an imperative language and imperative Abstract Machine. Once the memory needs of the Machine are known, we enrich the semantics with memory consumption annotations and prove that the enriched semantics is correct with respect to the translation and the Abstract Machine. All the steps are derived in such a way that it is easy to understand the translation and to formally establish its correctness.
