The information processing system integration is currently represented by one method within the project, focused on formalization of SOA design patterns using production rules. This partial formal representation is useful in searching for mistakes (antipatterns) in models and will enable creating formal models (with patterns) from informal documents.