A. Memon, Jianwei Yin, Jinxiang Dong, M. Mujeeb-u-Rehman
The use of a Web source as a communication channel drives requirements for next generation advanced e-business, such as fast e-access and e-customer support capabilities. Recent mobile technology advances have increased demand for mobile customers to connect to existing organizations. In this paper we discuss the intermediate role of /spl pi/-calculus technology between different interconnected organizations, with /spl pi/-calculus technology playing an important role in sharing products required by many organizational platforms. It also provides an ideal implementation platform, furnishing tools that help streamline complex applications. Our framework facilitates a mobile agent application development system, providing key features for distributed organization interface communication systems. This work provides a formal approach of HO/spl pi/-calculus where mobile agents are specified. The specification part of our system (emphasizing mobility) was carried out by using HO/spl pi/-calculus and for the part of execution (the migration of agents). Regarding our mobile agent surfing product from interconnected organizations; we prove that this preserves and reflects process behavior, and meets essential requirements of mobile calculus processes. It also enables mobile access, automated trading, simplicity and adaptability for realization as a distributed transaction based paradigm for e-shopping based on an intelligent agent interface.
{"title":"Service-oriented mobile calculus technology in M-business interoperability between customer and e-shop","authors":"A. Memon, Jianwei Yin, Jinxiang Dong, M. Mujeeb-u-Rehman","doi":"10.1109/SOSE.2005.33","DOIUrl":"https://doi.org/10.1109/SOSE.2005.33","url":null,"abstract":"The use of a Web source as a communication channel drives requirements for next generation advanced e-business, such as fast e-access and e-customer support capabilities. Recent mobile technology advances have increased demand for mobile customers to connect to existing organizations. In this paper we discuss the intermediate role of /spl pi/-calculus technology between different interconnected organizations, with /spl pi/-calculus technology playing an important role in sharing products required by many organizational platforms. It also provides an ideal implementation platform, furnishing tools that help streamline complex applications. Our framework facilitates a mobile agent application development system, providing key features for distributed organization interface communication systems. This work provides a formal approach of HO/spl pi/-calculus where mobile agents are specified. The specification part of our system (emphasizing mobility) was carried out by using HO/spl pi/-calculus and for the part of execution (the migration of agents). Regarding our mobile agent surfing product from interconnected organizations; we prove that this preserves and reflects process behavior, and meets essential requirements of mobile calculus processes. It also enables mobile access, automated trading, simplicity and adaptability for realization as a distributed transaction based paradigm for e-shopping based on an intelligent agent interface.","PeriodicalId":229065,"journal":{"name":"IEEE International Workshop on Service-Oriented System Engineering (SOSE'05)","volume":"143 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125125349","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
The improvement of Web service is eager for the design and implementation of on-demand service with high performance and low overhead. In this paper, the implementation strategies of on-demand service are listed and analyzed first. Then, the architecture of on-demand service is purposed, and the Groovy script language that is intelligent and powerful is chosen for the service specification language. Furthermore, the Groovy based on-demand service, which is named Groovy service, is designed and implemented based on Java language and the famous open source service container Tomcat/Axis. At last, the test shows that Groovy can make the service architecture more flexible and powerful without heavy overhead.
{"title":"Groovy service: on-demand Web service by script language","authors":"Zhenchun Huang, He Chuan","doi":"10.1109/SOSE.2005.13","DOIUrl":"https://doi.org/10.1109/SOSE.2005.13","url":null,"abstract":"The improvement of Web service is eager for the design and implementation of on-demand service with high performance and low overhead. In this paper, the implementation strategies of on-demand service are listed and analyzed first. Then, the architecture of on-demand service is purposed, and the Groovy script language that is intelligent and powerful is chosen for the service specification language. Furthermore, the Groovy based on-demand service, which is named Groovy service, is designed and implemented based on Java language and the famous open source service container Tomcat/Axis. At last, the test shows that Groovy can make the service architecture more flexible and powerful without heavy overhead.","PeriodicalId":229065,"journal":{"name":"IEEE International Workshop on Service-Oriented System Engineering (SOSE'05)","volume":"119 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116390839","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
This paper proposes new method to predict the number of the remaining bugs at the delivery inspection applied to every iteration of OOD, object oriented development. Our method consists of two parts. The first one estimates the number of the remaining bugs by applying the Gompertz curve. The second one uses the interval estimation called OOQP, object oriented quality probe. The basic idea of OOQP is to randomly extract a relatively small number of test cases, usually 10 to 20% of the entire test cases, and to execute them in the actual operation environment. From the test result of OOQP, we can efficiently predict the number of the remaining bugs by the interval estimation. The premier problem of OOQP is that OOD is imposed to use the system design specification document whose contents, like UML, tend to be ambiguous. Our estimation method works well at a matrix-typed organization where a QA team and a development team collaboratively work together to improve the software quality.
{"title":"Numerical software quality control in object oriented development","authors":"T. Yamaura, A. Onoma","doi":"10.1109/SOSE.2005.24","DOIUrl":"https://doi.org/10.1109/SOSE.2005.24","url":null,"abstract":"This paper proposes new method to predict the number of the remaining bugs at the delivery inspection applied to every iteration of OOD, object oriented development. Our method consists of two parts. The first one estimates the number of the remaining bugs by applying the Gompertz curve. The second one uses the interval estimation called OOQP, object oriented quality probe. The basic idea of OOQP is to randomly extract a relatively small number of test cases, usually 10 to 20% of the entire test cases, and to execute them in the actual operation environment. From the test result of OOQP, we can efficiently predict the number of the remaining bugs by the interval estimation. The premier problem of OOQP is that OOD is imposed to use the system design specification document whose contents, like UML, tend to be ambiguous. Our estimation method works well at a matrix-typed organization where a QA team and a development team collaboratively work together to improve the software quality.","PeriodicalId":229065,"journal":{"name":"IEEE International Workshop on Service-Oriented System Engineering (SOSE'05)","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128692949","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Application integration is a challenge and continues to be for the next few years. The industry is still figuring out how to best address the challenges of application heterogeneity through modern integration tools and service-oriented and event driven architectures. We are experiencing a new paradigm shift. However, the impact of service-oriented technology is evolutionary rather than revolutionary. Companies need to support enterprise service buses and selectively apply business component design practices and Web services. This paper addresses how interaction patterns in service-oriented applications can be gathered and discusses related collaboration patterns.
{"title":"Interaction pattern gathering in service-oriented applications","authors":"A. Filho, H. Liesenberg, Robert Barros","doi":"10.1109/SOSE.2005.19","DOIUrl":"https://doi.org/10.1109/SOSE.2005.19","url":null,"abstract":"Application integration is a challenge and continues to be for the next few years. The industry is still figuring out how to best address the challenges of application heterogeneity through modern integration tools and service-oriented and event driven architectures. We are experiencing a new paradigm shift. However, the impact of service-oriented technology is evolutionary rather than revolutionary. Companies need to support enterprise service buses and selectively apply business component design practices and Web services. This paper addresses how interaction patterns in service-oriented applications can be gathered and discusses related collaboration patterns.","PeriodicalId":229065,"journal":{"name":"IEEE International Workshop on Service-Oriented System Engineering (SOSE'05)","volume":"PC-25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126673775","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
In chain based wireless sensor network (WSN), some particular nodes called leaders aggregate the information get from its queue node and send to a base station periodically. Due to the limited battery life, energy efficiency is becoming a major challenging problem in these power-constrained networks. Chain based protocols construct a transmission chain connecting all nodes to save energy dissipation of data transmission. After reviewing several existing chain based protocols, a multichain multileader (MCML) based scheme is suggested, which is implemented by an minimum total energy algorithm for chain construction. This algorithm uses a sequence of insertions to add the least amount of energy consumption to the whole chain. It consumes less transmission power compared to the closest neighbor algorithm. In addition, an entropy based metric, the quality of data aggregation (QoDA), is defined to evaluate the performance of WSN.
{"title":"Multi-chain multi-leader based data aggregation and the evaluation metric QoDA","authors":"Zhang Xi-huang, Xu Wen-bo","doi":"10.1109/SOSE.2005.23","DOIUrl":"https://doi.org/10.1109/SOSE.2005.23","url":null,"abstract":"In chain based wireless sensor network (WSN), some particular nodes called leaders aggregate the information get from its queue node and send to a base station periodically. Due to the limited battery life, energy efficiency is becoming a major challenging problem in these power-constrained networks. Chain based protocols construct a transmission chain connecting all nodes to save energy dissipation of data transmission. After reviewing several existing chain based protocols, a multichain multileader (MCML) based scheme is suggested, which is implemented by an minimum total energy algorithm for chain construction. This algorithm uses a sequence of insertions to add the least amount of energy consumption to the whole chain. It consumes less transmission power compared to the closest neighbor algorithm. In addition, an entropy based metric, the quality of data aggregation (QoDA), is defined to evaluate the performance of WSN.","PeriodicalId":229065,"journal":{"name":"IEEE International Workshop on Service-Oriented System Engineering (SOSE'05)","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123610796","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
The modeling technical in SOA needs to refer the architecture of UML/MDA modeling language. Modelers in different fields and levels are expected to have some capability of extending original modeling language. To make up the gap between the theoretical architecture of standard modeling language and the modelers' limited modeling capability, this paper discusses the procedure strategy (including implementing process, method and elicitation) of SOA's modeling language in three phases, such as phase of capturing extension requirement, creating a solution and optimizing the solution. With the help of the procedure strategy, the activities of extending SOA's modeling language have more precise, criterion and process guidance.
{"title":"On procedure strategy of constructing SOA's modeling language","authors":"Yanbing Jiang, Chunxiao Xing, W. He, Jijiang Yang","doi":"10.1109/SOSE.2005.25","DOIUrl":"https://doi.org/10.1109/SOSE.2005.25","url":null,"abstract":"The modeling technical in SOA needs to refer the architecture of UML/MDA modeling language. Modelers in different fields and levels are expected to have some capability of extending original modeling language. To make up the gap between the theoretical architecture of standard modeling language and the modelers' limited modeling capability, this paper discusses the procedure strategy (including implementing process, method and elicitation) of SOA's modeling language in three phases, such as phase of capturing extension requirement, creating a solution and optimizing the solution. With the help of the procedure strategy, the activities of extending SOA's modeling language have more precise, criterion and process guidance.","PeriodicalId":229065,"journal":{"name":"IEEE International Workshop on Service-Oriented System Engineering (SOSE'05)","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133300650","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
In this paper, workflow management technology is used to achieve business process integration. The main idea is that the services provided by the business processes of an enterprise are implemented as corresponding workflow models, which can be considered to be "black boxes", but can be subscribed and reused as subworkflows by the service requestors in defining their own workflow models. The meta model for supporting the proposed workflow modeling is given. The peer-to-peer interaction between workflow engines, the invoking of applications, and the monitoring and control of process instances can all be implemented as Web services. In order to endow this workflow management paradigm with more flexibility, multiagent technology is used to perceive environment change, and to create adapted process definition through negotiation. Agents negotiate with KQML, but the communication is implemented with Web service model. The interfaces of the agents are defined with WSDL. KQML messages are mapped into SOAP messages.
{"title":"Decentralized workflow modeling and execution in service-oriented computing environment","authors":"Hongxin Li, Zhensu Lu","doi":"10.1109/SOSE.2005.9","DOIUrl":"https://doi.org/10.1109/SOSE.2005.9","url":null,"abstract":"In this paper, workflow management technology is used to achieve business process integration. The main idea is that the services provided by the business processes of an enterprise are implemented as corresponding workflow models, which can be considered to be \"black boxes\", but can be subscribed and reused as subworkflows by the service requestors in defining their own workflow models. The meta model for supporting the proposed workflow modeling is given. The peer-to-peer interaction between workflow engines, the invoking of applications, and the monitoring and control of process instances can all be implemented as Web services. In order to endow this workflow management paradigm with more flexibility, multiagent technology is used to perceive environment change, and to create adapted process definition through negotiation. Agents negotiate with KQML, but the communication is implemented with Web service model. The interfaces of the agents are defined with WSDL. KQML messages are mapped into SOAP messages.","PeriodicalId":229065,"journal":{"name":"IEEE International Workshop on Service-Oriented System Engineering (SOSE'05)","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125492974","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
S. Rittmann, A. Fleischmann, J. Hartmann, C. Pfaller, M. Rappl, D. Wild
The service-oriented paradigm is a promising approach to handle the growing complexity of software systems. This paper introduces a methodology for a stepwise refinement of service specifications on different levels of abstraction. Moreover, it deals with the integration of service and architecture specifications. Underlying concepts for a formal service specification are motivated from a methodological point of view and are precisely given in this paper. Furthermore the application of these concepts is demonstrated within a case example. The presented methodology stems from the RoFa-Soft project, where both aforementioned development paradigms are consolidated and integrated.
{"title":"Integrating service specifications at different levels of abstraction","authors":"S. Rittmann, A. Fleischmann, J. Hartmann, C. Pfaller, M. Rappl, D. Wild","doi":"10.1109/SOSE.2005.18","DOIUrl":"https://doi.org/10.1109/SOSE.2005.18","url":null,"abstract":"The service-oriented paradigm is a promising approach to handle the growing complexity of software systems. This paper introduces a methodology for a stepwise refinement of service specifications on different levels of abstraction. Moreover, it deals with the integration of service and architecture specifications. Underlying concepts for a formal service specification are motivated from a methodological point of view and are precisely given in this paper. Furthermore the application of these concepts is demonstrated within a case example. The presented methodology stems from the RoFa-Soft project, where both aforementioned development paradigms are consolidated and integrated.","PeriodicalId":229065,"journal":{"name":"IEEE International Workshop on Service-Oriented System Engineering (SOSE'05)","volume":"35 3","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131923067","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
This paper outlines our method for deriving fault models for use with our WS-FIT tool that can be used to assess the dependability of SOA. Since one of the major issues with extracting these heuristic rules and fault models is the availability of software systems we examine the use of systems constructed through pedagogic activities to provide one source of information.
{"title":"Pedagogic data as a basis for Web service fault models","authors":"N. Looker, E. Burd, S. Drummond, Jie Xu, M. Munro","doi":"10.1109/SOSE.2005.28","DOIUrl":"https://doi.org/10.1109/SOSE.2005.28","url":null,"abstract":"This paper outlines our method for deriving fault models for use with our WS-FIT tool that can be used to assess the dependability of SOA. Since one of the major issues with extracting these heuristic rules and fault models is the availability of software systems we examine the use of systems constructed through pedagogic activities to provide one source of information.","PeriodicalId":229065,"journal":{"name":"IEEE International Workshop on Service-Oriented System Engineering (SOSE'05)","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133143206","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
ASTRAR provides a framework for testing Web services (WS) using the group testing technique. This paper extends the basic two-phase testing process and introduces the windowing mechanism to further improve testing efficiency. Rather than testing a large number of WS simultaneously, WS are divided into subsets called windows and testing is exercised window by window. Testing results are analyzed for different strategies such as using all of the historical data, using the most recent windows, and using the current window only. Based on the results, test cases are ranked according to their potency to detect faults; and oracles and the confidence level of each oracle are established for individual test cases at runtime. In addition, different strategies are proposed to determine the optimal window size at runtime. By incorporating the windowing mechanism, the two-phase training and volume testing process becomes a continuous learning process and the basic group testing process becomes more adaptive to dynamically changing environment.
{"title":"Web service group testing with windowing mechanisms","authors":"W. Tsai, Xiaoying Bai, Yinong Chen, Xinyu Zhou","doi":"10.1109/SOSE.2005.41","DOIUrl":"https://doi.org/10.1109/SOSE.2005.41","url":null,"abstract":"ASTRAR provides a framework for testing Web services (WS) using the group testing technique. This paper extends the basic two-phase testing process and introduces the windowing mechanism to further improve testing efficiency. Rather than testing a large number of WS simultaneously, WS are divided into subsets called windows and testing is exercised window by window. Testing results are analyzed for different strategies such as using all of the historical data, using the most recent windows, and using the current window only. Based on the results, test cases are ranked according to their potency to detect faults; and oracles and the confidence level of each oracle are established for individual test cases at runtime. In addition, different strategies are proposed to determine the optimal window size at runtime. By incorporating the windowing mechanism, the two-phase training and volume testing process becomes a continuous learning process and the basic group testing process becomes more adaptive to dynamically changing environment.","PeriodicalId":229065,"journal":{"name":"IEEE International Workshop on Service-Oriented System Engineering (SOSE'05)","volume":"69 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128503274","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}