MDE-Oriented Process to Manage Requirement Inconsistencies

Requirements inconsistencies could arise for multiple reason and at all levels of hierarchy. in context of a complex system detecting inconsistencies among requirements is important and needs a rigorous practice. It is all the more crucial task when they are specified in informal language. Thus, managing inconsistencies is indispensable to success any system design. Constraint specification language ( CSP) formalism is used to define rules to spot conflicted requirements. In this paper, we present a process founded on ReqDL language in order to manage requirements inconsistencies at all level of hierarchy. we describe an approach to support inconsistencies identification and resolution among requirement

XCSL: XML Constraint Specification Language

After being able to mark-up text and validate its structure according to a document type specification, we may start thinking it would be natural to be able to validate some non- structural issues in the documents. This paper is to formally discuss semantic-related aspects. In that context, we introduce a domain specific language developed for such a purpose: XCSL. XCSL is not just a language, it is also a processing model. Furthermore, we discuss the general philosophy underlying the proposed approach, presenting the architecture of our semantic vali- dation system, and we detail the respective processor. To illustrate the use of XCSL language and the subsequent processing, we present two case-studies. Nowadays, we can find some other languages to restrict XML documents to those semantically valid — namely Schematron and XML-Schema. So, before concluding the paper, we compare XCSL to those approaches.

A Framework for Constraint Based Local Search using Essence

Structured Neighbourhood Search (SNS) is a framework for constraint-based local search for problems expressed in the Essence abstract constraint specification language. The local search explores a structured neighbourhood, where each state in the neighbourhood preserves a high level structural feature of the problem. SNS derives highly structured problem-specific neighbourhoods automatically and directly from the features of the Essence specification of the problem. Hence, neighbourhoods can represent important structural features of the problem, such as partitions of sets, even if that structure is obscured in the low-level input format required by a constraint solver. SNS expresses each neighbourhood as a constrained optimisation problem, which is solved with a constraint solver. We have implemented SNS, together with automatic generation of neighbourhoods for high level structures, and report high quality results for several optimisation problems.