Formal methods as a link between software code and legal rules

摘要: The rapid evolution of the technological landscape and impact information technologies on our everyday life raise new challenges which cannot be tackled by a purely approach. Generally speaking, legal technical means should complement each other to reduce risks for citizens consumers : one side, laws (or contracts) can provide assurances are out reach cope with situations where would defeated); technology help enforce contractual commitments. This synergy not taken granted however, if issues considered from outset, decisions made during design phase may very well hamper or make impossible enforcement rights. But consideration constraints in is challenge itself, least because gap between communities difficulties establish common understanding concepts at hand. In this paper, we advocate use formal methods gap, taking examples areas such as privacy, liability compliance.