Pub Date : 2001-12-04DOI: 10.1109/APSEC.2001.991499
A.H. Dutoit, Oliver Creighton, G. Klinker, R. Kobylinski, Christoph Vilsmeier, B. Brügge
Augmented Reality (AR), mobile computing, and ubiquitous computing have each individually provided technology enablers for new types of applications. Researchers have demonstrated over the years spectacular toy systems that fire researchers' imaginations. However, cross-fertilization between these areas has only just begun. Combining these technology enablers into robust information systems that can be used in the field present many software engineering challenges that have not been taken into account by the toy systems mentioned above. In this paper, we report our efforts at TU Munich to analyze information generation, retrieval, transmission, and visualization in the context of maintenance procedures in nuclear powerplants. The use of AR to present such information online has significant implications on the overall system architecture. This paper focuses on pointing out open questions, discussing options for addressing them, and evaluating them in prototypical implementations.
{"title":"Architectural issues in mobile augmented reality systems: a prototyping case study","authors":"A.H. Dutoit, Oliver Creighton, G. Klinker, R. Kobylinski, Christoph Vilsmeier, B. Brügge","doi":"10.1109/APSEC.2001.991499","DOIUrl":"https://doi.org/10.1109/APSEC.2001.991499","url":null,"abstract":"Augmented Reality (AR), mobile computing, and ubiquitous computing have each individually provided technology enablers for new types of applications. Researchers have demonstrated over the years spectacular toy systems that fire researchers' imaginations. However, cross-fertilization between these areas has only just begun. Combining these technology enablers into robust information systems that can be used in the field present many software engineering challenges that have not been taken into account by the toy systems mentioned above. In this paper, we report our efforts at TU Munich to analyze information generation, retrieval, transmission, and visualization in the context of maintenance procedures in nuclear powerplants. The use of AR to present such information online has significant implications on the overall system architecture. This paper focuses on pointing out open questions, discussing options for addressing them, and evaluating them in prototypical implementations.","PeriodicalId":130293,"journal":{"name":"Proceedings Eighth Asia-Pacific Software Engineering Conference","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130714002","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}
Pub Date : 2001-12-04DOI: 10.1109/APSEC.2001.991514
Jing Sun, J. Dong, Jing Liu, Hai H. Wang
The challenge for system specification is how to visually and precisely capture static, dynamic and real-time system properties in a highly structured way. Timed Communicating Object-Z (TCOZ) is an integrated formal notation that build on Object-Z's strengths in modeling complex data structures, and on Timed CSP's strengths in modeling real-time interactions. In this paper, we demonstrate approaches of using XML/XSL as a transformation tool to visualize TCOZ models into various UML diagrams and to animate TCOZ specifications with a multi-paradigm programming language-Oz.
系统规范的挑战是如何以一种高度结构化的方式可视化地、精确地捕获静态、动态和实时系统属性。定时通信对象- z (TCOZ)是一种集成的形式化符号，它建立在对象- z在建模复杂数据结构方面的优势，以及定时CSP在建模实时交互方面的优势之上。在本文中，我们演示了使用XML/XSL作为转换工具的方法，将TCOZ模型可视化为各种UML图，并使用多范式编程语言(oz)动画化TCOZ规范。
{"title":"A XML/XSL approach to visualize and animate TCOZ","authors":"Jing Sun, J. Dong, Jing Liu, Hai H. Wang","doi":"10.1109/APSEC.2001.991514","DOIUrl":"https://doi.org/10.1109/APSEC.2001.991514","url":null,"abstract":"The challenge for system specification is how to visually and precisely capture static, dynamic and real-time system properties in a highly structured way. Timed Communicating Object-Z (TCOZ) is an integrated formal notation that build on Object-Z's strengths in modeling complex data structures, and on Timed CSP's strengths in modeling real-time interactions. In this paper, we demonstrate approaches of using XML/XSL as a transformation tool to visualize TCOZ models into various UML diagrams and to animate TCOZ specifications with a multi-paradigm programming language-Oz.","PeriodicalId":130293,"journal":{"name":"Proceedings Eighth Asia-Pacific Software Engineering Conference","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133487616","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}
Pub Date : 2001-12-04DOI: 10.1109/APSEC.2001.991454
H. Palit
This paper discusses a model of Web caching. The model consists of four main elements: web server, DNS server, cache server, and terminal. Each element consists of some components. One element, cache server, has been selected to be discussed in detail. The model was built using TCOZ notation, which is very suitable for defining active objects (components). It is clearer and easier to learn this model, which is a complement to the existing "plain text" model defined,in HTTP document. Last but not least, the model can be extended easily for future developments.
{"title":"Using TCOZ for modeling Web caching","authors":"H. Palit","doi":"10.1109/APSEC.2001.991454","DOIUrl":"https://doi.org/10.1109/APSEC.2001.991454","url":null,"abstract":"This paper discusses a model of Web caching. The model consists of four main elements: web server, DNS server, cache server, and terminal. Each element consists of some components. One element, cache server, has been selected to be discussed in detail. The model was built using TCOZ notation, which is very suitable for defining active objects (components). It is clearer and easier to learn this model, which is a complement to the existing \"plain text\" model defined,in HTTP document. Last but not least, the model can be extended easily for future developments.","PeriodicalId":130293,"journal":{"name":"Proceedings Eighth Asia-Pacific Software Engineering Conference","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114697630","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}
Pub Date : 2001-12-04DOI: 10.1109/APSEC.2001.991464
James Thai, B. Pekilis, Alexander Lau, R. Seviora
In the development of many software systems, the focus was on functionality. When these systems are used in situations requiring higher reliability and availability, such qualities must be retrofitted into the system. This paper considers a way of adding such capability to existing software by taking advantage of aspect-oriented programming, a recently developed technology which supports encapsulation of non-functional concerns. The paper introduces the notion of a system health index as a measure of the internal system well-being, and identifies a number of health indicators, i.e. operational metrics from which a health index could be derived. The paper then discusses an aspect-oriented implementation of health indicators and lists several applicable aspect-oriented design patterns. Experience obtained from the implementation of health indicators in a distributed system whose original development focused only on functionality is then summarized. The experience suggests that time and space overhead and development costs are moderate, and that there is a distinct advantage of aspect-oriented implementation of health indicators.
{"title":"Aspect-oriented implementation of software health indicators","authors":"James Thai, B. Pekilis, Alexander Lau, R. Seviora","doi":"10.1109/APSEC.2001.991464","DOIUrl":"https://doi.org/10.1109/APSEC.2001.991464","url":null,"abstract":"In the development of many software systems, the focus was on functionality. When these systems are used in situations requiring higher reliability and availability, such qualities must be retrofitted into the system. This paper considers a way of adding such capability to existing software by taking advantage of aspect-oriented programming, a recently developed technology which supports encapsulation of non-functional concerns. The paper introduces the notion of a system health index as a measure of the internal system well-being, and identifies a number of health indicators, i.e. operational metrics from which a health index could be derived. The paper then discusses an aspect-oriented implementation of health indicators and lists several applicable aspect-oriented design patterns. Experience obtained from the implementation of health indicators in a distributed system whose original development focused only on functionality is then summarized. The experience suggests that time and space overhead and development costs are moderate, and that there is a distinct advantage of aspect-oriented implementation of health indicators.","PeriodicalId":130293,"journal":{"name":"Proceedings Eighth Asia-Pacific Software Engineering Conference","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132204214","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}
Pub Date : 2001-12-04DOI: 10.1109/APSEC.2001.991510
A.H. Dutoit, Joyce Johnstone, B. Brügge
As a result of globalization, mergers, acquisitions, and scarce skills, software development is becoming increasingly distributed. Distribution, however, introduces major communication barriers, including time zone differences, cultural differences, and most project participants have never met face to face. In this paper, we focus on "knowledge scouts," developers who travel briefly to other sites and report to their home base what they have discovered and learned. With a case study we show how knowledge scouts can overcome many communication issues. We propose that the research focus should be on the simpler problem of supporting a small mobile group of developers as a means of addressing the inherent communication obstacles in distributed software projects.
{"title":"Knowledge scouts: Reducing communication barriers in a distributed software development project","authors":"A.H. Dutoit, Joyce Johnstone, B. Brügge","doi":"10.1109/APSEC.2001.991510","DOIUrl":"https://doi.org/10.1109/APSEC.2001.991510","url":null,"abstract":"As a result of globalization, mergers, acquisitions, and scarce skills, software development is becoming increasingly distributed. Distribution, however, introduces major communication barriers, including time zone differences, cultural differences, and most project participants have never met face to face. In this paper, we focus on \"knowledge scouts,\" developers who travel briefly to other sites and report to their home base what they have discovered and learned. With a case study we show how knowledge scouts can overcome many communication issues. We propose that the research focus should be on the simpler problem of supporting a small mobile group of developers as a means of addressing the inherent communication obstacles in distributed software projects.","PeriodicalId":130293,"journal":{"name":"Proceedings Eighth Asia-Pacific Software Engineering Conference","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132774006","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}
Pub Date : 2001-12-04DOI: 10.1109/APSEC.2001.991491
Gwen Salaün, M. Allemand, J. Attiogbé
In this paper, we suggest a formal framework as a basis for a genetic combination of formal languages. This makes it possible for the developer to specify the dynamic part of a system with a process algebra, and the static part with an algebraic specification language. The framework is based on a formal kernel composed of an abstract grammar describing the general form of the combination, and a global operational semantics giving the meaning of each language which can be built with our framework.
{"title":"Formal framework for a generic combination of a process algebra with an algebraic specification language: an overview","authors":"Gwen Salaün, M. Allemand, J. Attiogbé","doi":"10.1109/APSEC.2001.991491","DOIUrl":"https://doi.org/10.1109/APSEC.2001.991491","url":null,"abstract":"In this paper, we suggest a formal framework as a basis for a genetic combination of formal languages. This makes it possible for the developer to specify the dynamic part of a system with a process algebra, and the static part with an algebraic specification language. The framework is based on a formal kernel composed of an abstract grammar describing the general form of the combination, and a global operational semantics giving the meaning of each language which can be built with our framework.","PeriodicalId":130293,"journal":{"name":"Proceedings Eighth Asia-Pacific Software Engineering Conference","volume":"144 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133482453","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}
Pub Date : 2001-12-04DOI: 10.1109/APSEC.2001.991511
Yu-Seung Ma, Seung-Uk Oh, Doo-Hwan Bae, Y. Kwon
To ensure that a component-based software system can run properly and effectively, the qualities of constituent components have to be assured. Third-party certification is a safe approach that buyers should trust when dealing with component software. However, current third-party certification methods do not support proper functional testing, which is the most important factor when selecting the component. In this paper, we will suggest a framework of third party component testing of functionality, satisfying the following given constraint. evaluation of a large number of components within short period of time in a cost-effective way. In this framework, we identify, the metadata that a component developer should provide to the third party tester and define the process for third party testing using these metadata. To evaluate our framework, we conducted several experiment with Component Test Manager (CTM), prototype tool for EJB component testing. The result shows that our metadata are positively necessary and the participation of a component developer is the key to third party testing.
为了确保基于组件的软件系统能够正常有效地运行，必须保证组成组件的质量。第三方认证是买家在处理组件软件时应该信任的安全方法。但是，当前的第三方认证方法不支持适当的功能测试，而功能测试是选择组件时最重要的因素。在本文中，我们将提出一个第三方组件功能测试框架，满足以下给定的约束。在短时间内以经济有效的方式对大量部件进行评估。在这个框架中，我们确定了组件开发人员应该提供给第三方测试人员的元数据，并定义了使用这些元数据进行第三方测试的过程。为了评估我们的框架，我们使用组件测试管理器(Component Test Manager, CTM)， EJB组件测试的原型工具进行了几个实验。结果表明，我们的元数据是非常必要的，组件开发人员的参与是第三方测试的关键。
{"title":"Framework for third party testing of component software","authors":"Yu-Seung Ma, Seung-Uk Oh, Doo-Hwan Bae, Y. Kwon","doi":"10.1109/APSEC.2001.991511","DOIUrl":"https://doi.org/10.1109/APSEC.2001.991511","url":null,"abstract":"To ensure that a component-based software system can run properly and effectively, the qualities of constituent components have to be assured. Third-party certification is a safe approach that buyers should trust when dealing with component software. However, current third-party certification methods do not support proper functional testing, which is the most important factor when selecting the component. In this paper, we will suggest a framework of third party component testing of functionality, satisfying the following given constraint. evaluation of a large number of components within short period of time in a cost-effective way. In this framework, we identify, the metadata that a component developer should provide to the third party tester and define the process for third party testing using these metadata. To evaluate our framework, we conducted several experiment with Component Test Manager (CTM), prototype tool for EJB component testing. The result shows that our metadata are positively necessary and the participation of a component developer is the key to third party testing.","PeriodicalId":130293,"journal":{"name":"Proceedings Eighth Asia-Pacific Software Engineering Conference","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125116653","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}
Pub Date : 2001-12-04DOI: 10.1109/APSEC.2001.991503
Wei Dong, Ji Wang, Xuan Qi, Zhichang Qi
Unified Modeling Language (UML) has been widely used in software development. Verifying if an UML model meets the required properties has become a key issue. Model checking is an important technology of automatic formal verification to ensure the correctness of design specifications. An approach of model checking UML statecharts is given in this paper At first, the brief syntax and semantics of UML statecharts are described. Then, the way of how UML statecharts is structurally expressed by extended hierarchical automaton and the labeled transition system are defined. The correctness of operational semantics of UML statecharts can be ensured through finding the maximal non-conflict transition set. For the system with infinite runs, the operational semantics can be mapped to a Buchi automaton and linear temporal logic properties of the system can be verified based on the automata theory of model checking. The paper also presents the method of verifying complex system consist of multiple objects modeled by statecharts and collaboration diagram.
{"title":"Model checking UML statecharts","authors":"Wei Dong, Ji Wang, Xuan Qi, Zhichang Qi","doi":"10.1109/APSEC.2001.991503","DOIUrl":"https://doi.org/10.1109/APSEC.2001.991503","url":null,"abstract":"Unified Modeling Language (UML) has been widely used in software development. Verifying if an UML model meets the required properties has become a key issue. Model checking is an important technology of automatic formal verification to ensure the correctness of design specifications. An approach of model checking UML statecharts is given in this paper At first, the brief syntax and semantics of UML statecharts are described. Then, the way of how UML statecharts is structurally expressed by extended hierarchical automaton and the labeled transition system are defined. The correctness of operational semantics of UML statecharts can be ensured through finding the maximal non-conflict transition set. For the system with infinite runs, the operational semantics can be mapped to a Buchi automaton and linear temporal logic properties of the system can be verified based on the automata theory of model checking. The paper also presents the method of verifying complex system consist of multiple objects modeled by statecharts and collaboration diagram.","PeriodicalId":130293,"journal":{"name":"Proceedings Eighth Asia-Pacific Software Engineering Conference","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127284152","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}
Pub Date : 2001-12-04DOI: 10.1109/APSEC.2001.991480
Heui-Seok Seo, I. Chung, B. Kim, Y. Kwon
Deterministic execution testing has been considered a promising method for concurrent program testing because of its reproducibility. However, since deterministic execution requires that a synchronization sequence to be replayed is feasible and valid, it is not directly applicable to a situation in which synchronization sequences, being valid but infeasible, are taken into account. To resolve this problem, we proposed automata-based testing in previous work, where a concurrent program is executed according to one sequence accepted by the automaton recognizing all sequences semantically equivalent to a given sequence. In this paper, we present the automata-based testing environment for Java multi-thread programs, and design and implement key components-automata generator, program transformer and replay controller. Algorithms for generating the equivalence automaton of a given sequence are presented and a program transformation method is suggested in order to guide a program to be executed according to the sequence accepted by the automaton. The replay controller is also redesigned and implemented to adopt the automaton. By illustrating automata-based testing procedures with the gas station example, we show how the proposed approach works in Java multi-threaded programs.
{"title":"The design and implementation of automata-based testing environment for Java multi-thread programs","authors":"Heui-Seok Seo, I. Chung, B. Kim, Y. Kwon","doi":"10.1109/APSEC.2001.991480","DOIUrl":"https://doi.org/10.1109/APSEC.2001.991480","url":null,"abstract":"Deterministic execution testing has been considered a promising method for concurrent program testing because of its reproducibility. However, since deterministic execution requires that a synchronization sequence to be replayed is feasible and valid, it is not directly applicable to a situation in which synchronization sequences, being valid but infeasible, are taken into account. To resolve this problem, we proposed automata-based testing in previous work, where a concurrent program is executed according to one sequence accepted by the automaton recognizing all sequences semantically equivalent to a given sequence. In this paper, we present the automata-based testing environment for Java multi-thread programs, and design and implement key components-automata generator, program transformer and replay controller. Algorithms for generating the equivalence automaton of a given sequence are presented and a program transformation method is suggested in order to guide a program to be executed according to the sequence accepted by the automaton. The replay controller is also redesigned and implemented to adopt the automaton. By illustrating automata-based testing procedures with the gas station example, we show how the proposed approach works in Java multi-threaded programs.","PeriodicalId":130293,"journal":{"name":"Proceedings Eighth Asia-Pacific Software Engineering Conference","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129985389","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}
Pub Date : 2001-12-04DOI: 10.1109/APSEC.2001.991507
Byungjeong Lee, Chisu Wu
Work on restructuring object-oriented designs involves metrics for quality estimation, and automated transformations. However, these factors have been treated almost independently of each other. A long-term goal is to define behavior-preserving design transformations, and automate the transformations using metrics. This paper describes an automatic restructuring approach that preserves the behavior of an object-oriented design. Cohesion and coupling metrics, based on abstract models that represent design components and their relationships, are defined to quantify designs and provide criteria for comparing alternative designs. Primitive operations and semantics for restructuring are defined to validate the preservation of design behavior This approach devises a fitness function using cohesion and coupling metrics, and restructures object-oriented designs by applying a genetic algorithm using the fitness function. We empirically evaluate the capability of this approach by applying it to the designs of Java programs and compare our results with a simulated annealing-based approach. Results from our experiments demonstrate that this approach may be useful in improving object-oriented designs automatically.
{"title":"An automatic restructuring approach preserving the behavior of object-oriented designs","authors":"Byungjeong Lee, Chisu Wu","doi":"10.1109/APSEC.2001.991507","DOIUrl":"https://doi.org/10.1109/APSEC.2001.991507","url":null,"abstract":"Work on restructuring object-oriented designs involves metrics for quality estimation, and automated transformations. However, these factors have been treated almost independently of each other. A long-term goal is to define behavior-preserving design transformations, and automate the transformations using metrics. This paper describes an automatic restructuring approach that preserves the behavior of an object-oriented design. Cohesion and coupling metrics, based on abstract models that represent design components and their relationships, are defined to quantify designs and provide criteria for comparing alternative designs. Primitive operations and semantics for restructuring are defined to validate the preservation of design behavior This approach devises a fitness function using cohesion and coupling metrics, and restructures object-oriented designs by applying a genetic algorithm using the fitness function. We empirically evaluate the capability of this approach by applying it to the designs of Java programs and compare our results with a simulated annealing-based approach. Results from our experiments demonstrate that this approach may be useful in improving object-oriented designs automatically.","PeriodicalId":130293,"journal":{"name":"Proceedings Eighth Asia-Pacific Software Engineering Conference","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115480274","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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：