{'fraction_non_alphanumeric': 0.018957345971563982, 'fraction_numerical': 0.0, 'mean_word_length': 5.6015625, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
An Overview of a Formalism for Open Distributed Systems

We introduce here a notation called OUN intended for both specification and design of open distributed systems, supporting formal reasoning. OUN is a formal notation, based on trace semantics, and is highly object oriented. Classes and interfaces may be specified in OUN using high-level object oriented concepts including multiple inheritance of interfaces and classes, implementation of several interfaces by a class, dynamical addition of interfaces and classes, and dynamical extension of classes. Requirement specifications are given in the form of rely/guarantee specification. We focus here on the concepts that have been introduced in this notation to deal with particular aspects of open distributed systems like openness, flexibility, reflection, and dynamical reconfiguration.