The Experts below are selected from a list of 121488 Experts worldwide ranked by ideXlab platform
Boualem Benatallah - One of the best experts on this subject based on the ideXlab platform.
-
event correlation for process discovery from web Service Interaction logs
Very Large Data Bases, 2011Co-Authors: Hamid Reza Motaharinezhad, Regis Saintpaul, Fabio Casati, Boualem BenatallahAbstract:Understanding, analyzing, and ultimately improving business processes is a goal of enterprises today. These tasks are challenging as business processes in modern enterprises are implemented over several applications and Web Services, and the information about process execution is scattered across several data sources. Understanding modern business processes entails identifying the correlation between events in data sources in the context of business processes (event correlation is the process of finding relationships between events that belong to the same process execution instance). In this paper, we investigate the problem of event correlation for business processes that are realized through the Interactions of a set of Web Services. We identify various ways in which process-related events could be correlated as well as investigate the problem of discovering event correlation (semi-) automatically from Service Interaction logs. We introduce the concept of process view to represent the process resulting from a certain way of event correlation and that of process space referring to the set of possible process views over process events. Event correlation is a challenging problem as there are various ways in which process events could be correlated, and in many cases, it is subjective. Exploring all the possibilities of correlations is computationally expensive, and only some of the correlated event sets result in process views that are interesting. We propose efficient algorithms and heuristics to identify correlated event sets that lead potentially to interesting process views. To account for its subjectivity, we have designed the event correlation discovery process to be interactive and enable users to guide it toward process views of their interest and organize the discovered process views into a process map that allows users to effectively navigate through the process space and identify the ones of interest. We report on experiments performed on both synthetic and real-world datasets that show the viability and efficiency of the approach.
-
CAiSE - Using graph aggregation for Service Interaction message correlation
Advanced Information Systems Engineering, 2011Co-Authors: Adnene Guabtni, Hamid Reza Motahari-nezhad, Boualem BenatallahAbstract:Discovering the behavior of Services and their Interactions in an enterprise requires the ability to correlate Service Interaction messages into process instances. The Service Interaction logic (or process model) is then discovered from the set of process instances that are the result of a given way of correlating messages. However, sometimes, the Correlation Conditions (CC) allowing to identify correlations of messages from a Service Interaction log are not known. In such cases, and with a large number of message's correlator attributes, we are facing a large space of possible ways messages may be correlated which makes identifying process instances difficult. In this paper, we propose an approach based on message indexation and aggregation to generate a size-efficient Aggregated Correlation Graph (ACG) that exhibits all the ways messages correlate in a Service Interaction log not only for disparate pairs of messages but also for sequences of messages corresponding to process instances. Adapted filtering techniques based on user defined heuristics are then applied on such a graph to help the analysts efficiently identify the most frequently executed processes from their sequences of CCs. The approach has been implemented and experiments show its effectiveness to identify relevant sequences of CCs from large Service Interaction logs.
-
message correlation and business protocol discovery in Service Interaction logs
Conference on Advanced Information Systems Engineering, 2008Co-Authors: Belkacem Serrour, Daniel P Gasparotto, Hamamache Kheddouci, Boualem BenatallahAbstract:The problem of discovering protocols and business processes based on the analysis of log files is a real challenge. The behavior of a Web Service can be specified using a Business Protocol, hence the importance of this discovery. The construction of the Business Protocol begins by correlating the logged messages into their conversations (i.e. instances of the business protocol). The accomplishment of this task is easy if we assume that the logs contain the right identifiers, which would allow us to associate every message to a conversation. But in real-world situations, this kind of information rarely exists inside the log files. Our work consists in correlating the messages present in Web Service logs into the conversations they belong to, and then generating automatically the Business Protocol that reflects the messaging behavior perceived in the log. Contrary to other approaches, we do not assume the existence of a conversation identifier. We first model logged message relations using graphs and then we use graph theory techniques to extract the conversations and finally the Business Protocol. Logs are often incomplete and contain errors. This induces some uncertainty on the results. To address this problem, we apply the Dempster-Shafer theory of evidence. Our approach is implemented and tested using synthetic logs.
-
protocol discovery from imperfect Service Interaction logs
International Conference on Data Engineering, 2007Co-Authors: Hamid Reza Motaharinezhad, Regis Saintpaul, Boualem Benatallah, Fabio CasatiAbstract:This paper deals with the problem of discovering protocol models by analyzing real-world Interaction logs. There are several scenarios where protocol discovery is useful and needed: (i) In practice, the protocol definition may not be available. This can happen for many reasons, e.g., the Service has been developed using a bottom-up approach, by simply SOAP-ifying an existing application; (ii) even when the protocol model is available, protocol discovery is important as we may want to verify if the designed protocol model is what is actually being supported by the implementation and, if not, what are the differences. An instance of this problem involves discovering if the Service is compliant with the protocol specification required by some domain-specific standardization body or industry consortium.
-
ICDE - Protocol Discovery from Imperfect Service Interaction Logs
2007 IEEE 23rd International Conference on Data Engineering, 2007Co-Authors: Hamid Reza Motahari-nezhad, Boualem Benatallah, Régis Saint-paul, Fabio CasatiAbstract:This paper deals with the problem of discovering protocol models by analyzing real-world Interaction logs. There are several scenarios where protocol discovery is useful and needed: (i) In practice, the protocol definition may not be available. This can happen for many reasons, e.g., the Service has been developed using a bottom-up approach, by simply SOAP-ifying an existing application; (ii) even when the protocol model is available, protocol discovery is important as we may want to verify if the designed protocol model is what is actually being supported by the implementation and, if not, what are the differences. An instance of this problem involves discovering if the Service is compliant with the protocol specification required by some domain-specific standardization body or industry consortium.
Fabio Casati - One of the best experts on this subject based on the ideXlab platform.
-
event correlation for process discovery from web Service Interaction logs
Very Large Data Bases, 2011Co-Authors: Hamid Reza Motaharinezhad, Regis Saintpaul, Fabio Casati, Boualem BenatallahAbstract:Understanding, analyzing, and ultimately improving business processes is a goal of enterprises today. These tasks are challenging as business processes in modern enterprises are implemented over several applications and Web Services, and the information about process execution is scattered across several data sources. Understanding modern business processes entails identifying the correlation between events in data sources in the context of business processes (event correlation is the process of finding relationships between events that belong to the same process execution instance). In this paper, we investigate the problem of event correlation for business processes that are realized through the Interactions of a set of Web Services. We identify various ways in which process-related events could be correlated as well as investigate the problem of discovering event correlation (semi-) automatically from Service Interaction logs. We introduce the concept of process view to represent the process resulting from a certain way of event correlation and that of process space referring to the set of possible process views over process events. Event correlation is a challenging problem as there are various ways in which process events could be correlated, and in many cases, it is subjective. Exploring all the possibilities of correlations is computationally expensive, and only some of the correlated event sets result in process views that are interesting. We propose efficient algorithms and heuristics to identify correlated event sets that lead potentially to interesting process views. To account for its subjectivity, we have designed the event correlation discovery process to be interactive and enable users to guide it toward process views of their interest and organize the discovered process views into a process map that allows users to effectively navigate through the process space and identify the ones of interest. We report on experiments performed on both synthetic and real-world datasets that show the viability and efficiency of the approach.
-
protocol discovery from imperfect Service Interaction logs
International Conference on Data Engineering, 2007Co-Authors: Hamid Reza Motaharinezhad, Regis Saintpaul, Boualem Benatallah, Fabio CasatiAbstract:This paper deals with the problem of discovering protocol models by analyzing real-world Interaction logs. There are several scenarios where protocol discovery is useful and needed: (i) In practice, the protocol definition may not be available. This can happen for many reasons, e.g., the Service has been developed using a bottom-up approach, by simply SOAP-ifying an existing application; (ii) even when the protocol model is available, protocol discovery is important as we may want to verify if the designed protocol model is what is actually being supported by the implementation and, if not, what are the differences. An instance of this problem involves discovering if the Service is compliant with the protocol specification required by some domain-specific standardization body or industry consortium.
-
ICDE - Protocol Discovery from Imperfect Service Interaction Logs
2007 IEEE 23rd International Conference on Data Engineering, 2007Co-Authors: Hamid Reza Motahari-nezhad, Boualem Benatallah, Régis Saint-paul, Fabio CasatiAbstract:This paper deals with the problem of discovering protocol models by analyzing real-world Interaction logs. There are several scenarios where protocol discovery is useful and needed: (i) In practice, the protocol definition may not be available. This can happen for many reasons, e.g., the Service has been developed using a bottom-up approach, by simply SOAP-ifying an existing application; (ii) even when the protocol model is available, protocol discovery is important as we may want to verify if the designed protocol model is what is actually being supported by the implementation and, if not, what are the differences. An instance of this problem involves discovering if the Service is compliant with the protocol specification required by some domain-specific standardization body or industry consortium.
Gero Decker - One of the best experts on this subject based on the ideXlab platform.
-
Business Process Management - Formalizing Service Interactions
Lecture Notes in Computer Science, 2006Co-Authors: Gero Decker, Frank Puhlmann, Mathias WeskeAbstract:Cross-organizational business processes are gaining increased attention these days, especially with the Service oriented architecture (SOA) as a realization for business process management (BPM). In SOA, Interaction agreements between business partners are defined as choreographies containing common Interaction patterns. However, complex Interactions are difficult to specify, basically because a formal, common standard supporting all Interaction patterns is missing. This paper motivates the use of the π-calculus for formally representing Service Interaction patterns.
-
Service Interaction Modeling: Bridging Global and Local Views
Science & Engineering Faculty, 2006Co-Authors: Johannes Maria Zaha, Arthur Hofstede, Alistair Barros, Marlon Dumas, Gero DeckerAbstract:In a Service-Oriented Architecture (SOA), a system is viewed as a collection of independent units (Services) that interact with one another through message exchanges. Established languages such as the Web Services Description Language and the Business Process Execution Language allow developers to capture the Interactions in which an individual Service can engage, both from a structural and from a behavioral perspective. However, in large Service-oriented systems, stakeholders may require a global picture of the way Services interact with each other, rather than multiple small pictures focusing on individual Services. Such global models are especially useful when a set of Services interact in such a way that none of them sees all messages being exchanged, yet Interactions taking place between some Services affect the way other Services interact. An issue that arises when dealing with global models of Service Interactions is that these models may capture behavioral constraints that can not be enforced locally. In other words, some global models may not be translatable into a collection of local models such that the sum of the local models equals the original global model. Starting from a previously proposed language for global modeling of Service Interactions, this paper defines an algorithm for determining if a global model is locally enforceable and an algorithm for generating local models from global ones.
-
EDOC - Service Interaction Modeling: Bridging Global and Local Views
2006 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC'06), 2006Co-Authors: Johannes Maria Zaha, Arthur Hofstede, Alistair Barros, Marlon Dumas, Gero DeckerAbstract:In a Service-oriented architecture (SOA), a system is viewed as a collection of independent units (Services) that interact with one another through message exchanges. Established languages such as the Web Services description language and the business process execution language allow developers to capture the Interactions in which an individual Service can engage, both from a structural and from a behavioral perspective. However, in large Service-oriented systems, stakeholders may require a global picture of the way Services interact with each other, rather than multiple small pictures focusing on individual Services. Such "global models" are especially useful when a set of Services interact in such a way that none of them sees all messages being exchanged, yet Interactions taking place between some Services affect the way other Services interact. An issue that arises when dealing with global models of Service Interactions is that these models may capture behavioral constraints that can not be enforced locally. In other words, some global models may not be translatable into a collection of local models such that the sum of the local models equals the original global model. Starting from a previously proposed language for global modeling of Service Interactions, this paper defines an algorithm for determining if a global model is locally enforceable and an algorithm for generating local models from global ones
Alistair Barros - One of the best experts on this subject based on the ideXlab platform.
-
Service Interaction Modeling: Bridging Global and Local Views
Science & Engineering Faculty, 2006Co-Authors: Johannes Maria Zaha, Arthur Hofstede, Alistair Barros, Marlon Dumas, Gero DeckerAbstract:In a Service-Oriented Architecture (SOA), a system is viewed as a collection of independent units (Services) that interact with one another through message exchanges. Established languages such as the Web Services Description Language and the Business Process Execution Language allow developers to capture the Interactions in which an individual Service can engage, both from a structural and from a behavioral perspective. However, in large Service-oriented systems, stakeholders may require a global picture of the way Services interact with each other, rather than multiple small pictures focusing on individual Services. Such global models are especially useful when a set of Services interact in such a way that none of them sees all messages being exchanged, yet Interactions taking place between some Services affect the way other Services interact. An issue that arises when dealing with global models of Service Interactions is that these models may capture behavioral constraints that can not be enforced locally. In other words, some global models may not be translatable into a collection of local models such that the sum of the local models equals the original global model. Starting from a previously proposed language for global modeling of Service Interactions, this paper defines an algorithm for determining if a global model is locally enforceable and an algorithm for generating local models from global ones.
-
EDOC - Service Interaction Modeling: Bridging Global and Local Views
2006 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC'06), 2006Co-Authors: Johannes Maria Zaha, Arthur Hofstede, Alistair Barros, Marlon Dumas, Gero DeckerAbstract:In a Service-oriented architecture (SOA), a system is viewed as a collection of independent units (Services) that interact with one another through message exchanges. Established languages such as the Web Services description language and the business process execution language allow developers to capture the Interactions in which an individual Service can engage, both from a structural and from a behavioral perspective. However, in large Service-oriented systems, stakeholders may require a global picture of the way Services interact with each other, rather than multiple small pictures focusing on individual Services. Such "global models" are especially useful when a set of Services interact in such a way that none of them sees all messages being exchanged, yet Interactions taking place between some Services affect the way other Services interact. An issue that arises when dealing with global models of Service Interactions is that these models may capture behavioral constraints that can not be enforced locally. In other words, some global models may not be translatable into a collection of local models such that the sum of the local models equals the original global model. Starting from a previously proposed language for global modeling of Service Interactions, this paper defines an algorithm for determining if a global model is locally enforceable and an algorithm for generating local models from global ones
-
Business Process Management - Service Interaction patterns
Lecture Notes in Computer Science, 2005Co-Authors: Alistair Barros, Marlon Dumas, Arthur HofstedeAbstract:With increased sophistication and standardization of modeling languages and execution platforms supporting business process management (BPM) across traditional boundaries, has come the need for consolidated insights into their exploitation from a business perspective. Key technology developments in BPM bear this out, with several web Services-related initiatives investing significant effort in the collection of compelling use cases to heighten the exploitation of BPM in multi-party collaborative environments. In this setting, we present a collection of patterns of Service Interactions which allow emerging web Services functionality, especially that pertaining to choreography and orchestration, to be benchmarked against abstracted forms of representative scenarios. Beyond bilateral Interactions, these patterns cover multilateral, competing, atomic and causally related Interactions. Issues related to the implementation of these patterns using established and emerging web Services standards, most notably BPEL, are discussed.
-
Service Interaction patterns
Business Process Management, 2005Co-Authors: Alistair Barros, Marlon Dumas, Arthur H M Ter HofstedeAbstract:With increased sophistication and standardization of modeling languages and execution platforms supporting business process management (BPM) across traditional boundaries, has come the need for consolidated insights into their exploitation from a business perspective. Key technology developments in BPM bear this out, with several web Services-related initiatives investing significant effort in the collection of compelling use cases to heighten the exploitation of BPM in multi-party collaborative environments. In this setting, we present a collection of patterns of Service Interactions which allow emerging web Services functionality, especially that pertaining to choreography and orchestration, to be benchmarked against abstracted forms of representative scenarios. Beyond bilateral Interactions, these patterns cover multilateral, competing, atomic and causally related Interactions. Issues related to the implementation of these patterns using established and emerging web Services standards, most notably BPEL, are discussed.
-
Service Interaction patterns towards a reference framework for Service based business process interconnection
Science & Engineering Faculty, 2005Co-Authors: Alistair Barros, Marlon Dumas, Arthur H M Ter HofstedeAbstract:With increased sophistication and standardization of modeling languages and execution platforms supporting business process management (BPM) across traditional boundaries, has come the need for consolidated insights into their exploitation from a business perspective. Key technology developments in BPM bear this out, with several web Services-related initiatives investing significant effort in the collection of compelling use cases to heighten the exploitation of BPM in multi-party collaborative environments. In this setting, we present a collection of patterns of Service Interactions which allow emerging web Services functionality, especially that pertaining to choreography and orchestration, to be benchmarked against abstracted forms of representative scenarios. Beyond bilateral Interactions, these patterns cover multilateral, competing, atomic and causally related Interactions. Issues related to the implementation of these patterns using established and emerging web Services standards, most notably BPEL, are discussed.
Gopal N. Rai - One of the best experts on this subject based on the ideXlab platform.
-
Web Service Interaction Modeling and Verification Using Recursive Composition Algebra
IEEE Transactions on Services Computing, 2018Co-Authors: Gopal N. Rai, G. R. Gangadharan, Vineet Padmanabhan, Rajkumar BuyyaAbstract:The design principle of composability among Web Services is one of the most crucial reasons for the success and popularity of Web Services. However, achieving error-free automatic Web Service composition is still a challenge. In this paper, we propose a recursive composition based modeling and verification technique for Web Service Interaction. The application of recursive composition over a Web Service with respect to a given set of Web Services yields a recursive composition Interaction graph (RCIG). In order to capture the requirement specifications of a Web Service Interaction scenario, we propose recursive composition specification language (RCSL) as a requirement specification language. Further, we employ the proposed RCIG as an interpretation model to interpret the semantics of a RCSL formula. Our verification technique is based on the generation and analysis of all possible Interaction patterns. Performance evaluation results, provided in this paper, show that our proposition is implementable for the real world applications. The key advantages of the proposed approach are: (i) it does not require explicit system modeling as in model checking based approaches, (ii) it captures primitive characteristics of Web Service Interaction patterns, such as recursive composition, sequential and parallel flow, etc, and (iii) it supports automatic composition of Services.
-
Architectural Characterization of Web Service Interaction Verification
Proceedings of 3rd International Conference on Advanced Computing Networking and Informatics, 2015Co-Authors: Gopal N. Rai, G. R. GangadharanAbstract:Web Service Interaction utilizes disparate models as it still does not have its own model for verification process. Adaptation of a different model is not always beneficial as it may prune several significant characteristics that worth considering in verification. The primary reason behind this adaptation is that the primitive characteristics are not well identified, standardized, and established for Web Service Interaction model. In this article, we therefore investigate the primitive characteristics of Web Service Interaction model that need to be well considered in verification. Further, we study the appropriateness and effectiveness of two modeling and verification phenomena namely model checking and module checking with respect to investigated primitive characteristics.