The Experts below are selected from a list of 179739 Experts worldwide ranked by ideXlab platform
Jing Sun - One of the best experts on this subject based on the ideXlab platform.
-
A semantic Web Environment for components
The Knowledge Engineering Review, 2009Co-Authors: Hai H. Wang, Jing SunAbstract:Component-based development (CBD) has become an important emerging topic in the software engineering field. It promises long-sought-after benefits such as increased software reuse, reduced development time to market and, hence, reduced software production cost. Despite the huge potential, the lack of reasoning support and development Environment of component modeling and verification may hinder its development. Methods and tools that can support component model analysis are highly appreciated by industry. Such a tool support should be fully automated as well as efficient. At the same time, the reasoning tool should scale up well as it may need to handle hundreds or even thousands of components that a modern software system may have. Furthermore, a distributed Environment that can effectively manage and compose components is also desirable. In this paper, we present an approach to the modeling and verification of a newly proposed component model using Semantic Web languages and their reasoning tools. We use the Web Ontology Language and the Semantic Web Rule Language to precisely capture the inter-relationships and constraints among the entities in a component model. Semantic Web reasoning tools are deployed to perform automated analysis support of the component models. Moreover, we also proposed a service-oriented architecture (SOA)-based semantic Web Environment for CBD. The adoption of Semantic Web services and SOA make our component Environment more reusable, scalable, dynamic and adaptive.
-
ICFEM - SVG Web Environment for z specification language
Formal Methods and Software Engineering, 2005Co-Authors: Jing Sun, Hai Wang, Sasanka Athauda, Tazkiya SheikAbstract:This paper presents a Web Environment for the Z formal specification language using the Scalable Vector Graphics (SVG) technology. The Z Specification Web Editor (ZSWE) is the first prototype of a Web based graphical editor for the Z specification language. It not only supports graphical editing and global accessibility for the Z formal specifications, but also provides model comprehension facilities such as schema expansion, specification navigation and model querying. This paper outlines the requirement, design and implementation of the tool and its future improvements.
-
SVG Web Environment for Z specification language
Lecture Notes in Computer Science, 2005Co-Authors: Jing Sun, Hai Wang, Sasanka Athauda, Tazkiya SheikAbstract:This paper presents a Web Environment for the Z formal specification language using the Scalable Vector Graphics (SVG) technology. The Z Specification Web Editor (ZSWE) is the first prototype of a Web based graphical editor for the Z specification language. It not only supports graphical editing and global accessibility for the Z formal specifications, but also provides model comprehension facilities such as schema expansion, specification navigation and model querying. This paper outlines the requirement, design and implementation of the tool and its future improvements.
-
WWW - Object-Z Web Environment and projections to UML
Proceedings of the tenth international conference on World Wide Web - WWW '01, 2001Co-Authors: Jing Sun, Jin Song Dong, Jing Liu, Hai WangAbstract:This paper presents the XML/XSL approach to the development of a Web Environment for the formal speci cation language Object-Z. The projection techniques and tools from Object-Z (in XML) to UML (in XMI) are developed using XSL Transformations (XSLT). Furthermore, Object-Z (itself) is used to specify and design the essential functionalities of the Web Environment and the projection tools to UML. In a sense, the paper also demonstrates a formal approach to modeling Web applications.
Jianya Gong - One of the best experts on this subject based on the ideXlab platform.
-
using sensorml to construct a geoprocessing e science workflow model under a sensor Web Environment
Computers & Geosciences, 2012Co-Authors: Nengcheng Chen, Yao Chen, Chao Wang, Jianya GongAbstract:Many achievements in Web-based geoprocessing focus on logically chaining Open Geospatial Consortium (OGC) Web services, for example using Business Process Execution Language to orchestrate Web services that are interfaced through the OGC Web Processing Service. For e-Science application in a sensor Web Environment, how to internally integrate the sensor system, observation, and processes (physical and non-physical) as a geoprocessing e-Science workflow model is a critical issue. The OGC Sensor Model Language offers the possibility to construct a geoprocessing e-Science workflow model in the form of observation processes. We propose a construction method for a geoprocessing e-Science workflow model that integrates logical and physical processes into a composite process chain for sensor observations. The three phases of geoprocessing e-Science workflow creation are abstract process chain modeling, process chain instantiation, and process chain workflow execution. An experiment on chaining-related sub-processes for deriving the Normalized Difference Vegetation Index of Hubei Province (China) was conducted to verify the feasibility of the proposed workflow model.
-
flood detection and mapping of the thailand central plain using radarsat and modis under a sensor Web Environment
International Journal of Applied Earth Observation and Geoinformation, 2012Co-Authors: Kridsakron Auynirundronkool, Nengcheng Chen, Jianya Gong, Caihua Peng, Chao Yang, Chaowalit SilapathongAbstract:Abstract Flooding in general is insignificant event worldwide and also in Thailand. The Central plain, the Northern plain and the northeast of Thailand are frequently flooded areas, caused by yearly monsoons. The Thai government has extra expenditure to provide disaster relief and for the restoration of flood affected structures, persons, livestock, etc. Current flood detection in real time or near real time has become a challenge in the flood emergency response. In this paper, an automatic instant time flood detection approach consisting of a data retrieval service, flood sensor observation service (SOS), flood detection Web processing service (WPS) under a sensor Web Environment, is presented to generate dynamically real-time flood maps. A scenario of a RADARSAT and MODIS sensor Web data service for flood detection cover of the Thailand Central plain is used to test the feasibility of the proposed framework. MODIS data are used to overview the wide area, while RADARSAT data are used to classify the flood area. The proposed framework using the transactional Web coverage service (WCS-T) for instant flood detection processes dynamic real-time remote sensing observations and generates instant flood maps. The results show that the proposed approach is feasible for automatic instant flood detection.
Pankaj Kamthan - One of the best experts on this subject based on the ideXlab platform.
-
An Exploration of the Social Web Environment for Collaborative Software Engineering Education
International Journal of Web-Based Learning and Teaching Technologies, 2011Co-Authors: Pankaj KamthanAbstract:The technological Environment in which software engineering education SEE resides and thrives continues to evolve. In this paper, SW4CSE2, a methodology for collaborations in SEE based on the Social Web Environment, is proposed. The impact of integrating Social Web technologies, and applications based on these technologies, in collaborative activities that commonly occur in the context of SEE are explored. In particular, teacher-student and student-student collaborations, both inside and outside the classroom, are highlighted. In doing so, the feasibility issues in selection and adoption of technologies/applications are emphasized, and the use of pedagogically-inclined patterns is made. The potential prospects of such an integration, and related concerns, are illustrated by practical examples.
-
A Methodology for Integrating the Social Web Environment in Software Engineering Education
Social Computing, 2010Co-Authors: Pankaj KamthanAbstract:The aim of this article is a technological revitalization of software engineering education from human and social perspectives. It adopts a systematic approach towards integrating the Social Web Environment (including technologies and applications based on those technologies) in software engineering education, both inside and outside the classroom. To that regard, a feasibilitysensitive methodology for incorporating the Social Web Environment in software engineering education that supports a heterogeneous combination of objectivism and constructivism is proposed and explored. The potential prospects of such integration and related concerns are illustrated by practical examples.
-
Using the Social Web Environment for Software Engineering Education
Online Courses and ICT in Education, 1Co-Authors: Pankaj KamthanAbstract:The software engineering educational system influences, and is influenced by, a number of social and technical factors of the ecosystem in which it resides. The Social Web Environment includes a number of technologies and applications based on those technologies. The aim of this chapter is to examine a technological revitalization of software engineering education (SEE) from the perspective of the Social Web. In doing so, a systematic approach towards integrating the Social Web Environment in SEE is explored. The potential prospects and associated concerns of such integration, both inside and outside the classroom, are illustrated by a number of practical examples.
Hai Wang - One of the best experts on this subject based on the ideXlab platform.
-
ICFEM - SVG Web Environment for z specification language
Formal Methods and Software Engineering, 2005Co-Authors: Jing Sun, Hai Wang, Sasanka Athauda, Tazkiya SheikAbstract:This paper presents a Web Environment for the Z formal specification language using the Scalable Vector Graphics (SVG) technology. The Z Specification Web Editor (ZSWE) is the first prototype of a Web based graphical editor for the Z specification language. It not only supports graphical editing and global accessibility for the Z formal specifications, but also provides model comprehension facilities such as schema expansion, specification navigation and model querying. This paper outlines the requirement, design and implementation of the tool and its future improvements.
-
SVG Web Environment for Z specification language
Lecture Notes in Computer Science, 2005Co-Authors: Jing Sun, Hai Wang, Sasanka Athauda, Tazkiya SheikAbstract:This paper presents a Web Environment for the Z formal specification language using the Scalable Vector Graphics (SVG) technology. The Z Specification Web Editor (ZSWE) is the first prototype of a Web based graphical editor for the Z specification language. It not only supports graphical editing and global accessibility for the Z formal specifications, but also provides model comprehension facilities such as schema expansion, specification navigation and model querying. This paper outlines the requirement, design and implementation of the tool and its future improvements.
-
WWW - Object-Z Web Environment and projections to UML
Proceedings of the tenth international conference on World Wide Web - WWW '01, 2001Co-Authors: Jing Sun, Jin Song Dong, Jing Liu, Hai WangAbstract:This paper presents the XML/XSL approach to the development of a Web Environment for the formal speci cation language Object-Z. The projection techniques and tools from Object-Z (in XML) to UML (in XMI) are developed using XSL Transformations (XSLT). Furthermore, Object-Z (itself) is used to specify and design the essential functionalities of the Web Environment and the projection tools to UML. In a sense, the paper also demonstrates a formal approach to modeling Web applications.
Nengcheng Chen - One of the best experts on this subject based on the ideXlab platform.
-
using sensorml to construct a geoprocessing e science workflow model under a sensor Web Environment
Computers & Geosciences, 2012Co-Authors: Nengcheng Chen, Yao Chen, Chao Wang, Jianya GongAbstract:Many achievements in Web-based geoprocessing focus on logically chaining Open Geospatial Consortium (OGC) Web services, for example using Business Process Execution Language to orchestrate Web services that are interfaced through the OGC Web Processing Service. For e-Science application in a sensor Web Environment, how to internally integrate the sensor system, observation, and processes (physical and non-physical) as a geoprocessing e-Science workflow model is a critical issue. The OGC Sensor Model Language offers the possibility to construct a geoprocessing e-Science workflow model in the form of observation processes. We propose a construction method for a geoprocessing e-Science workflow model that integrates logical and physical processes into a composite process chain for sensor observations. The three phases of geoprocessing e-Science workflow creation are abstract process chain modeling, process chain instantiation, and process chain workflow execution. An experiment on chaining-related sub-processes for deriving the Normalized Difference Vegetation Index of Hubei Province (China) was conducted to verify the feasibility of the proposed workflow model.
-
flood detection and mapping of the thailand central plain using radarsat and modis under a sensor Web Environment
International Journal of Applied Earth Observation and Geoinformation, 2012Co-Authors: Kridsakron Auynirundronkool, Nengcheng Chen, Jianya Gong, Caihua Peng, Chao Yang, Chaowalit SilapathongAbstract:Abstract Flooding in general is insignificant event worldwide and also in Thailand. The Central plain, the Northern plain and the northeast of Thailand are frequently flooded areas, caused by yearly monsoons. The Thai government has extra expenditure to provide disaster relief and for the restoration of flood affected structures, persons, livestock, etc. Current flood detection in real time or near real time has become a challenge in the flood emergency response. In this paper, an automatic instant time flood detection approach consisting of a data retrieval service, flood sensor observation service (SOS), flood detection Web processing service (WPS) under a sensor Web Environment, is presented to generate dynamically real-time flood maps. A scenario of a RADARSAT and MODIS sensor Web data service for flood detection cover of the Thailand Central plain is used to test the feasibility of the proposed framework. MODIS data are used to overview the wide area, while RADARSAT data are used to classify the flood area. The proposed framework using the transactional Web coverage service (WCS-T) for instant flood detection processes dynamic real-time remote sensing observations and generates instant flood maps. The results show that the proposed approach is feasible for automatic instant flood detection.
