Model oriented software architecture

Software architectures are heterogeneous, multiple-dimensional entities that aim to reduce the cost and ease the complexity associated with the development of large, complex software systems. To fully realize the advantages of software architectures, they need to be specified by a blend of modeling notations at the same (or at different) levels of abstractions. We discuss the benefits of a multiformalism modeling approach that integrates existing modeling languages, such as UML (Unified Modeling Language), HPrTNs (Hierarchical Predicate Transitions Nets), with an ADL known as DST (Diagrammatic Syntactic Theory).