ORCID Profile
0000-0002-1979-6622
Current Organisations
The University of Auckland
,
Universidade Nova de Lisboa
Does something not look right? The information on this page has been harvested from data sources that may not be up to date. We continue to work with information providers to improve coverage and quality. To report an issue, use the Feedback Form.
Publisher: IEEE
Date: 03-2008
Publisher: Elsevier BV
Date: 06-2007
Publisher: ACM Press
Date: 2005
Publisher: Association for Computing Machinery (ACM)
Date: 30-06-2022
DOI: 10.1145/3536430
Abstract: Automated model repair techniques enable machines to synthesise patches that ensure models meet given requirements. B-repair, which is an existing model repair approach, assists users in repairing erroneous models in the B formal method, but repairing large models is inefficient due to successive applications of repair. In this work, we improve the performance of B-repair using simultaneous modifications, repair refactoring, and better classifiers. The simultaneous modifications can eliminate multiple invariant violations at a time so the average time to repair each fault can be reduced. Further, the modifications can be refactored to reduce the length of repair. The purpose of using better classifiers is to perform more accurate and general repairs and avoid inefficient brute-force searches. We conducted an empirical study to demonstrate that the improved implementation leads to the entire model process achieving higher accuracy, generality, and efficiency.
Publisher: IEEE
Date: 07-2009
DOI: 10.1109/TASE.2009.11
Publisher: Elsevier BV
Date: 05-2006
Publisher: Springer Berlin Heidelberg
Date: 2006
DOI: 10.1007/11775300_44
Publisher: IGI Global
Date: 2008
DOI: 10.4018/978-1-59904-877-2.CH015
Abstract: The Semantic Web (Berners-Lee, Hendler, & Lassila, 2001) has become increasingly significant as it proposes an evolution of the current World Wide Web from a web of documents to a distributed and decentralised, global knowledge-base. Based on the notion of interlinked resources grounded within formally defined ontologies, it promises to be an enabling technology for the automation of many Web-based tasks, by facilitating a shared understanding of a domain through inference over shared knowledge models. Semantic Work Environment (SWE) applications use Semantic Web techniques to support the work of the user by collecting knowledge about the current needs in a specific activity, and providing both inferred and augmented knowledge that can then be integrated into current work. Web Services have emerged as distributed, heterogeneous software components that provide machine access to the services otherwise offered on the Web through Web pages. Built upon defacto Web standards for syntax, communication protocols, and markup languages such as XML, Web services provide a near ubiquitous mechanism for communication between applications and agents. In addition, such services can be composed to provide additional functionality, thus facilitating the rapid construction of new services. However, the dynamic use of services is limited by the need to agree a-priori upon data models and interface definitions. By coupling Web service technology with Semantic Web technology, Semantic Web Services can partially relax these constraints, both in the dynamic use of services, and in the data models shared by such services. Several ex les of such services have been developed, for ex le, the ITTALKS services (Cost, Finin, & Joshi, 2002), which are considered in this chapter.
Publisher: Springer Science and Business Media LLC
Date: 11-02-2015
Publisher: IEEE
Date: 2005
DOI: 10.1109/ECOWS.2005.7
No related grants have been discovered for Jing Sun.