Two Semantic Models for Clock Relations in the Clock Constraint Specification Language

2013 ◽  
pp. 190-209 ◽  
Author(s):  
Grygoriy Zholtkevych ◽  
Frédéric Mallet ◽  
Iryna Zaretska ◽  
Galyna Zholtkevych
Keyword(s):  
Specification Language ◽  
Semantic Models ◽  
Constraint Specification ◽  
Clock Constraint Specification Language

The clock constraint specification language for building timed causality models

2009 ◽  
Vol 6 (1-2) ◽  
pp. 99-106 ◽  
Author(s):  
Frédéric Mallet ◽  
Julien DeAntoni ◽  
Charles André ◽  
Robert de Simone
Keyword(s):  
Specification Language ◽  
Constraint Specification ◽  
Clock Constraint Specification Language

scholarly journals MDE-Oriented Process to Manage Requirement Inconsistencies

2019 ◽  
Vol 8 (12) ◽  
pp. 302-306
Keyword(s):  
Complex System ◽  
System Design ◽  
Specification Language ◽  
Design Constraint ◽  
Constraint Specification

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

Sign in / Sign up

Export Citation Format

Share Document