Search For:

Displaying 1-21 out of 21 total
Dynamic Adapter Reconfiguration in the Context of Business Protocol Evolution
Found in: 2013 IEEE 16th International Conference on Computational Science and Engineering (CSE)
By Maryam Eslamichalandar,Kamel Barkaoui,Hamid Reza Motahari-Nezhad
Issue Date:December 2013
pp. 301-308
One of the challenges in working with heterogeneous Web services is the need to ensure their interoperability and compatibility. Service specifications constantly evolve. In the context of Web service interaction via an adapter, it is important to understa...
A Parallel Comparator of Documents
Found in: 2013 24th International Workshop on Database and Expert Systems Applications (DEXA)
By Sonia Alouane Ksouri,Minyar Sassi Hidri,Kamel Barkaoui
Issue Date:August 2013
pp. 48-52
Documents, sentences and words clustering are well studied problems. Most existing algorithms cluster documents, sentences and words separately but not simultaneously. However, when analyzing large textual corpuses, the amount of data to be processed in a ...
Performance evaluation of a massively parallel ESB-oriented architecture
Found in: 2012 5th IEEE International Conference on Service-Oriented Computing and Applications (SOCA)
By Ridha Benosman,Yves Albrieux,Kamel Barkaoui
Issue Date:December 2012
pp. 1-4
Enterprise Service Bus (ESB) is an SOA-based software architecture for business application integration in distributed and heterogeneous environments. Most of open-source or commercial solutions offer the same set of basic services such as message transfor...
Reachability Analysis of P-time Petri Nets with Parametric Markings
Found in: 2012 12th International Conference on Application of Concurrency to System Design (ACSD)
By Hanifa Boucheneb,Kamel Barkaoui
Issue Date:June 2012
pp. 72-81
This paper deals with the verification of P-Time Petri nets with parametric markings. It investigates the verification of reach ability properties in the case of an upward-closed set of initial markings. We propose an efficient state space abstraction whic...
Method for Verification of a Multi Agents System
Found in: Intelligent Systems, Modelling and Simulation, International Conference on
By Borhen Marzougui, Khaled Hassine, Kamel Barkaoui
Issue Date:January 2011
pp. 62-65
In this paper, we present a new formal Method for the Verification of a Multi agents Systems (MAS). We explain and applied a new method based on agents called Agents Petri Nets (APN). Our model describes each entity to model the system and verify the state...
Toward a New Model of the Petri Nets: Agent Petri Nets
Found in: Computer Modeling and Simulation, UKSIM European Symposium on
By Borhen Marzougui,Khaled Hssine,Kamel Barkaoui
Issue Date:November 2010
pp. 51-56
This paper belongs to the domain of the engineering of the Petri Net (PN) and Multi agent Systems (MAS). It aims to defining a new formalism for the modeling of MAS. This formalism is based on agents called Agent Petri Nets (APN). That's why, the definitio...
Verification and Performance Evaluation of S-MAC Protocol Based on Process Calculi
Found in: Distributed Computing Systems Workshops, International Conference on
By Robert Abo, Kamel Barkaoui, Karim Djouani
Issue Date:June 2010
pp. 189-198
This paper relates to the formal analysis of S-MAC, a medium-access protocol designed for wireless sensor networks. We study the synchronization mechanism of mobile nodes and the 4-way handshake mechanism of the Carrier Sense Multiple Access with Collision...
Distributed Causal Model-Based Diagnosis Based on Interacting Behavioral Petri Nets
Found in: Parallel and Distributed Computing, International Symposium on
By Hammadi Bennoui, Allaoua Chaoui, Kamel Barkaoui
Issue Date:July 2009
pp. 99-106
This paper deals with the problem of causal model-based diagnosis of distributed systems. The setting we consider is a collection of interacting behavioral Petri nets (BPNs). Each BPN model represents the causal behavioral model of one subsystem and its in...
Towards a Disciplined Engineering of Adaptive Service-Oriented Business Processes
Found in: Internet and Web Applications and Services, International Conference on
By Nasreddine Aoumeur, Kamel Barkaoui
Issue Date:May 2009
pp. 474-480
This paper propose a progressive and disciplined engineering of adaptive service-oriented business processes (SO-BPs). Each business activity is first informally governed through interaction-centric Event-Conditions-Actions (ECA) based business rules. They...
On modelling adaptive service-oriented business processes
Found in: Computer Systems and Applications, ACS/IEEE International Conference on
By Nasreddine Aoumeur, Kamel Barkaoui, Gunter Saake
Issue Date:May 2009
pp. 47-52
With the maturing of service technology, most of organizations are implementing their business processes using Web-Services (shortly SO-BPs). Nevertheless, still challenging engineering problems are hindering highly adaptive and realistic composite service...
Validating and Dynamically Adapting and Composing Features in Concurrent Product-Lines Applications
Found in: Engineering of Computer-Based Systems, IEEE International Conference on the
By Nasreddine Aoumeur, Kamel Barkaoui, Gunter Saake
Issue Date:April 2009
pp. 138-146
With the pressing in-time-market towards customizedservices, software product lines (SPL) are increasinglycharacterizing most of software landscape. SPL are mainly structured through offered features, where consistent composition and dynamic variability ar...
An Effective Link Adaptation Method in Cooperative Wireless Networks
Found in: Asia-Pacific Conference on Services Computing. 2006 IEEE
By Karim Djouani, Jun Chen, Abdellah Akharraz, Kamel Barkaoui
Issue Date:December 2008
pp. 914-919
Link adaptation is an effective strategy in nature to achieve the ideal modulation to be selected depending upon signal quality at the terminals in wireless networks. In this paper, we examine the ability of the link adaptation to support cooperative trans...
On Adaptive and Behavioral Service-Driven Applications: A Rule-Centric Petri Nets Framework
Found in: Signal-Image Technologies and Internet-Based System, International IEEE Conference on
By Nasreddine Aoumeur, Kamel Barkaoui, Claus Rautenstrauch
Issue Date:December 2008
pp. 195-202
As service technology is maturing, complex composite services are increasingly requested to satisfy challengingrequirements.
Towards Maude-Tla based Foundation for Complex Concurrent Systems Specification and Certification
Found in: Information Technology: New Generations, Third International Conference on
By Nasreddine Aoumeur, Kamel Barkaoui, Gunter Saake
Issue Date:April 2008
pp. 1305-1307
This paper contributes towards a multi-paradigm approach for the specification validation verification and refinement of concurrent agile systems. It brings together two complementary rigorous and largely accepted frameworks: Meseguer’s true-concurrent Rew...
Peformance Study of IEEE 802.11 WLAN Integrating QoS Requirements
Found in: Wireless and Mobile Communications, International Conference on
By Adel Bedoui, Kamel Barkaoui, Karim Djouani
Issue Date:March 2007
pp. 69
Wireless Local Area Networks (WLAN) are easily deployed and require less investment. They give access to the same services as those offered by the wired networks. However, wireless terminals must share the medium of limited capacity in an equitable way wit...
Incremental Specification Validation and Runtime Adaptivity of Distributed Component Information systems
Found in: Software Maintenance and Reengineering, European Conference on
By Nasreddine Aoumeur, Kamel Barkaoui, Gunter Saake
Issue Date:March 2007
pp. 123-136
Despite all colossal efforts and investments by Information Systems (IS) practitioners and researchers, today?s IS still remain far from timely exhibiting the required levels of adaptivity dictated by highly volatile, competitive and inter-organizational (...
Modeling Workflows with Recursive ECATNets
Found in: Symbolic and Numeric Algorithms for Scientific Computing, International Symposium on
By Awatef Hicheur, Kamel Barkaoui, Noura Boudiaf
Issue Date:September 2006
pp. 389-398
A major limitation of current workflow management systems appears in (1) their lack of support for flexible workflows whose structures can be modified dynamically during the execution and (2) in their failure in dealing, efficiently, with the most advanced...
On the Use of Rewriting Logic for Verification of Distributed Software Architecture Description Based LfP
Found in: Rapid System Prototyping, IEEE International Workshop on
By Chadlia Jerad, Kamel Barkaoui
Issue Date:June 2005
pp. 202-208
Software architecture description languages (ADLs) allow software designers to focus on high level aspects of an application by abstracting from the details of the components that compose architecture. It is precisely this abstraction that makes ADLs suita...
Performance Analysis of an N(N ATM Switch with Markov Modulated Poisson Process under Back-Pressure Mechanism
Found in: Modeling, Analysis, and Simulation of Computer Systems, International Symposium on
By Mohamed Escheikh, Ammar Bouallégue, Kamel Barkaoui
Issue Date:September 2000
pp. 416
In this paper, we present a performance study of an input/output buffered type ATM switch with backpressure mechanism with a MMPP process as input. The backpressure is exerted at the Head of Line (HOL) level to prevent output buffer cell loss fig1 (a)(b). ...
Reducing Interleaving Semantics Redundancy in Reachability Analysis of Time Petri Nets
Found in: ACM Transactions on Embedded Computing Systems (TECS)
By Hanifa Boucheneb, Kamel Barkaoui
Issue Date:January 2013
pp. 1-24
The main problem of verification techniques based on exploration of (reachable) state space is the state explosion problem. In timed models, abstract states reached by different interleavings of the same set of transitions are, in general, different and th...
Performance analysis of packet bursting scheme in IEEE 802.11e WLANs under slow rayleigh fading with non markovian stochastic petri nets
Found in: Proceedings of the 7th ACM symposium on QoS and security for wireless and mobile networks (Q2SWinet '11)
By Kamel Barkaoui, Mohamed Escheikh
Issue Date:October 2011
pp. 9-16
Although enhanced distributed coordination function EDCF mechanism brings service differentiation between different access categories, Quality of service is not guaranteed for delay sensitive applications such as voice unless further open parameters of the...