Abstract When developing complex software and systems, contracts provide a means for controlling the complexity by dividing responsibilities among components of system in hierarchical fashion. In specific application areas, dedicated contract theories formalise notion operations on manner that supports best development systems area. At other end, meta-theories attempt to systematic view various...