Displaying similar documents to “Modeling of distributed objects computing design pattern combinations using a formal specification language”