Jungjae Lee

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
—The goal of the Web Service Composition (WSC) problem is to find an optimal composition of web services to satisfy a given request using their syntactic and/or semantic features. In this paper, in particular, we study the Quality of Services (QoS)-driven WSC problem to optimize service quality criteria, e.g., response time and/or throughput. We propose a(More)
SUMMARY The algebra of communicating shared resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. In analyzing ACSR models, the existing techniques such as bisimulation checking and Hennessy-Milner Logic (HML) model checking are very important in theory of ACSR, but they are difficult to use for(More)
  • 1