Abstract—The goal of the Web Service Composition,(WSC) problem,is to find an optimal composition,... more Abstract—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 novel solution based,on Learning-based Depth First Search (LDFS). Given a set of web,service descriptions including QoS information and a requirement web service, we reduce the QoS-driven WSC problem,into a planning,problem,on a state- transition system. We then find the optimal,solution for the problem,using a dynamic,programming,based on LDFS which recently has shown,a promising,result.
The algebra of communicating shared resources (ACSR) is a timed process algebra which extends cla... more 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 large complex system models in practice. In this paper, we suggest a framework to verify ACSR models against their requirements described in an expressive timed temporal logic. We demonstrate the usefulness of our approach with a real world case study.
The autonomous military robot system is a complex hybrid system which is difficult to represent b... more The autonomous military robot system is a complex hybrid system which is difficult to represent by ordinary modeling frameworks due to its continuous behaviors. In this paper, we present a case study to formally model this system using CHARON that is a hierarchical modeling framework for hybrid systems. To precisely capture all the behaviors of the military robot system, we
Abstract—The goal of the Web Service Composition,(WSC) problem,is to find an optimal composition,... more Abstract—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 novel solution based,on Learning-based Depth First Search (LDFS). Given a set of web,service descriptions including QoS information and a requirement web service, we reduce the QoS-driven WSC problem,into a planning,problem,on a state- transition system. We then find the optimal,solution for the problem,using a dynamic,programming,based on LDFS which recently has shown,a promising,result.
The algebra of communicating shared resources (ACSR) is a timed process algebra which extends cla... more 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 large complex system models in practice. In this paper, we suggest a framework to verify ACSR models against their requirements described in an expressive timed temporal logic. We demonstrate the usefulness of our approach with a real world case study.
The autonomous military robot system is a complex hybrid system which is difficult to represent b... more The autonomous military robot system is a complex hybrid system which is difficult to represent by ordinary modeling frameworks due to its continuous behaviors. In this paper, we present a case study to formally model this system using CHARON that is a hierarchical modeling framework for hybrid systems. To precisely capture all the behaviors of the military robot system, we
Uploads
Papers by Jungjae Lee