期刊名称：Journal of Computing and Information Technology
印刷版ISSN：1330-1136
电子版ISSN：1846-3908
出版年度：2016
卷号：24
期号：3
页码：253-269
DOI：10.20532/cit.2016.1002787
语种：English
出版社：SRCE - Sveučilišni računski centar
摘要：Dependency relationships play an important role in testing, maintenance and configuration management of software systems. The informal dependency representations fail to observe behavioral connections among subsystems and cause ambiguity in representing different types of dependency relationships. Therefore, dependency in a software system requires a formal and unambiguous representation so that its correct effects can be visualized. In this paper, we present a Colored Petri Net based dependency analysis of a Service Oriented Architecture (SOA) based system that represents specification of dependency relationships and models the dependencies in a SOA based system at conceptual level. Different types of dependency relations are represented in a formal manner by using Service Algebra. A module SOA based system ‘Online Bookshop’ has been developed and used for the purpose of modeling and example demonstration. Such modeling can help in identification of inconsistency among services, and web services can be verified for safety and reliability.
关键词：Service Oriented Architecture; web services; Petri Net; Colored Petri Net; Service Algebra; dependency analysis
