Leif O. Jepsen

Learn More
introduce the concepts necessary to understand the problem area and the presented model. Readers who have a prior knowledge of CP–nets or Network Management Systems can skip the introductory sections on these subjects. Development of distributed software systems is a complex task. This paper argues that design and specification can be supported by modelling(More)
  • 1