Volume 7, Number 1, December 2009
Computing and Information Sciences is a peer reviewed journal that is committed to timely publication of original research, surveying and tutorial contributions on the analysis and development of computing and information science. The journal is designed mainly to serve researchers and developers, dealing with information and computing. Papers that can provide both theoretical analysis, along with carefully designed computational experiments, are particularly welcome. The journal is published 2-3 times per year with distribution to librarians, universities, research centers, researchers in computing, mathematics, and information science. The journal maintains strict refereeing procedures through its editorial policies in order to publish papers of only the highest quality. The refereeing is done by anonymous Reviewers. Often, reviews take four months to six months to obtain, occasionally longer, and it takes an additional several months for the publication process.
Paper 1: A Framework To Model Real-Time Databases
A Framework To Model Real-Time Databases
Nizar Idoudi, Nada Louati, Claude Duvallet, Rafik Bouaziz, Bruno Sadeg and Faiez Gargouri
Abstract: Real-time databases deal with time-constrained data and time-constrained transactions. The design of this kind of databases requires the introduction of new concepts to support both data structures and the dynamic behaviour of the database. In this paper, we give an overview about different aspects of real-time databases and we clarify requirements of their modelling. Then, we present a framework for real-time database design and describe its fundamental operations. A case study demonstrates the validity of the structural model and illustrates SQL queries and Java code generated from the classes of the model.
Paper 2: Towards Making WSRF Based Web Services Strongly Mobile
Towards
Making WSRF Based Web Services
Soumaya Marzouk
Abstract:Grid Services became a widely used technology for building service oriented applications. The Web Service Resource Framework (WSRF) is the current standard used for building such services as it describes the way to design and communicate with stateful services. However, deploying Web services on a grid environment raises many challenges such as adapting the Web service to the dynamic change of grid resources performance and availability. Therefore, mechanisms such as service mobility maybe very helpful for supporting autonomic properties of grid services.In this paper, we propose a solution for WSRF grid services strong mobility allowing services to migrate during their execution while keeping their execution state consistent. In addition, suspended services will resume their execution starting from the interruption point. To show the feasibility of our approach, we present a case study illustrating the application of our transformation on a WSRF Auction service. We provide then some evaluations performed on the Globus Toolkit (version 4.0).
Paper 3: A Formal Model of a Multi-Step Coordination Protocol for Self-Adaptive Software ...
A
Formal Model of a Multi-Step Coordination Protocol for
Self-Adaptive Software Using Coloured Petri Nets
Najla Hadj Kacem, Ahmed Hadj Kacem and Khalil Drira
Abstract:Technology advances continue to make computing environments ever changing and more complex. In the presence of such environments software systems are increasingly expected to continue operating at run-time. As human intervention becomes costly, time-consuming and error-prone, these systems should be equipped with self-adaptation capabilities in order to adapt themselves in response to environmental changes. While most of the research in this area focuses on individual parts of an adaptive system, our work leverages on this research but tackles the problem where interdependent and distributed adaptations are concurrently performed. In this paper, we approach behavioural changes of component-based systems in two stages. First, we propose a process to individually adapt one component at a time. Second, we elaborate a coordination protocol to maintain globally consistent state when implementing distributed adaptations. To achieve correct coordination, rather than only considering dependency relations between multiple adaptations, our approach further focuses on dependency relations between components at run-time. Motivated by the potential benefits of using formalisms, we construct a formal model of our protocol using Coloured Petri Nets in order for an adaptive system to be trusted after adaptation. In the model, we make sufficient abstraction of details, but still deal with the core of the protocol. This makes the model simpler and the analysis easier due to restricted state space size. We verify key behavioural properties and conduct CTL model checking to assess the correctness of the model and thereby the correctness of the protocol.
Paper 4: Automatic Annoration Approach of Events in News Articles
Automatic
Annotation Approach
Aymen Elkhlifi and Rim Faiz
Abstract: Daily, several news agencies publish thousands of articles concerning many events of all types (political, economic, cultural, etc.). The decision-makers find themselves in front of a great number of events, a few of which concern them. The automatic treatment of such events becomes increasingly necessary. Thus, we propose a machine learning-based approach that allows annotating news articles to generate an automatic summary of the events. We propose a new similarity measurement between events and we validate our approach by the development of the "AnnotEv" system.
Paper 5: A Parser Generation with the LKB for the Arabic Relatives
A
Parser Generation with the LKB for the Arabic Relatives
Kais Haddar, Ines Zalila and Sirine Boukedi
Abstract:
The
relative phenomenon is considered as a rather delicate linguistic
phenomenon and not explored enough by researchers, especially for the
Arabic language. In an attempt to deal with this phenomenon, we propose
in this paper a study about different forms of relative clauses. This
study will be used for the building of a parser that can process
relative sentences. This parser is constructed using the HPSG
formalism (Head-driven Phrase Structures Grammar), whose fundamental
structure is the feature’s one. In fact, an adaptation of HPSG for the
Arabic language is made here in order to integrate the features of
the arabic language. The established HPSG grammar is specified in
TDL (Type Description Language). This specification is used by the LKB
platform (
Contacts
Editor-in-Chief
Prof. Jihad Mohamad Alja'am
Department of Computer Science & Computer Engineering
Qatar University - College of Engineering
P.O. Box 2713, Qatar
Email: editor@ijcis.info
The
Journal Secretary
Eng. Dana Bandok
Ontario, Canada
Email: info@ijcis.info