Administrative Information

المعلومات الادارية

عنوان المشروع- Project Title

A language for modeling constraint satisfaction problems (design and implementation)

الباحث الرئيسي Principal Investigator -

الاسم Name	المؤسسة Institution	الوظيفية Post	العنوان Address	العنوان الالكتروني e-mail	رقم الهاتف Telephone
Abdulwahed Abbas	Deparment of Computer Science The University of Balamand	Associate Professor	Department of Computer Science The University of Balamand P.O.Box 100, Tripoli Lebanon	abbas @balamand.edu.lb	06-930 250 (ext. 3144)

الباحثون المشاركون Co-Workers -

الاسم Name	المؤسسة Institution	العنوان الالكتروني e-mail
Ahmed Nasri	American University of Beirut	anasri@aub.edu.lb
Edward Tsang (consultation Only)	The University of Essex England. U.K.	edward@essex.ac.uk

المدة التعاقدية للمشروع Duration -:

سنة واحدة

Scientific Information

المعلومات العلميّة

الهدف- Objectives

The implementation of an interpreter for a high level specification language called DEPICT

ألانجازات المحققة Achievements -

1. the realization of the programming system

2. the success of a master thesis which reports the methodology used in the construction process.

3. the publication of an international research paper basically takes the core of this thesis out to the wider research community.

آفاق البحث Perspectives -

The long-term goal of this project is the realization of a special-purpose programming language intended for modeling constraint-satisfaction problem. This area is well-known for its important and general applications in virtually all areas of science and technology. A language of this kind will play a prominent role in any area of commercial or industrial significance

المنشورات والمساهمات في المؤتمرات- Publications & Communications

1. Lezzaik, M. A High-Level Language for Modeling Constraint Satisfaction Problems, Master Thesis, Department of Computer Science, American university of Beirut, Spring 2006.

2. Abbas, A., Tsang, E., and Nasri, A., DEPICT: A High-Level Formal Language For Modeling Constraint Satisfaction Problems, Accepted in The 4th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA 06), March 8-11, 2006.

موجز عن نتائج البحث Abstract -

The past decade witnessed rapid development of constraint satisfaction technologies, where algorithms are now able to cope with larger and harder problems. However, owing to the fact that constraints are inherently declarative, attention is quickly turning toward developing high-level programming languages within which such problems can be modeled and also solved. Along these lines, this project addresses the implementation of an interpreter for a specification language (called DEPICT) language.