Toward a New Analyzable Architectural Description Language based on OSAN

In the last two decades, a number of architecture- based software development notations, methods, techniques, and tools were formulated. Of particular interest to the software architecture researchers and practitioners were the notations and languages for modeling software architectures, known as ADLs. Object stochastic activity network (OSAN) is a new model which inherits useful features from Petri nets, stochastic activity networks and queue networks, which made it a powerful and flexible tool to model concurrent systems and evaluate and verify them. This paper introduces OSAN as a new analyzable architecture description language, which can be used both for modeling architectural aspects of software systems and evaluating and analyzing them.