检索结果-南通市图书馆

An Approach to Modelling and Analysing Reliability of Breeze/ADL-based Software Architecture

在线全文

学校读者我要写书评

暂无评论

International Journal of Automation and computing 2017年第3期14卷 275-284页

作者： Chen Li hong-ji yang Hua-Xiao Liu Centre for Creative Computing Bath Spa University UK College of Computer Science and Technology Jilin University Changchun 130012 China

Breeze/architecture description language（ADL）, is an eX tensible markup language（XML） based architecture description language which is used to model software systems at the architecture level. Though Breeze/ADL provides an appropriate basis for architecture modelling, it can neither analyse nor evaluate the architecture reliability. In this paper, we propose a Breeze/ADL based strategy which, by combining generalized stochastic Petri net（GSPN） and tools for reliability analysis, supports architecture reliability modelling and evaluation. This work expands the idea in three directions： Firstly, we give a Breeze/ADL reliability model in which we add error attributes to Breeze/ADL error model for capturing architecture error information, and at the same time perform the system error state transition through the Breeze/ADL production. Secondly, we present how to map a Breeze/ADL reliability model to a GSPN model, which in turn can be used for reliability analysis. The other task is to develop a Breeze/ADL reliability analysis modelling tool–EXGSPN（Breeze/ADL reliability analysis modelling tool）, and combine it with platform independent petri net editor 2（PIPE2） to carry out a reliability ***： Breeze/architecture description language （ADL）, is an eXtensible markup language （XML） based architecture description language which is used to model software systems at the architecture level. Though Breeze/ADL provides an appropriate basis for architecture modelling, it can neither analyse nor evaluate the architecture reliability. In this paper, we propose a Breeze/ADL based strategy which, by combining generalized stochastic Petri net （GSPN） and tools for reliability analysis, supports architecture reliability modelling and evaluation. This work expands the idea in three directions： Firstly, we give a Breeze/ADL reliability model in which we add error attributes to Breeze/ADL error model for capturing architecture error information, and at the same time perform

关键词： Software architecture reliability Breeze/architecture description language(ADL) generalized stochastic Petri net(GSPN) Breeze graph grammar

A Reliability Aware Protocol for Cooperative Communication in Cognitive Radio Networks

在线全文

学校读者我要写书评

暂无评论

International Journal of Automation and computing 2019年第1期16卷 84-92页

作者： Munam Ali Shah Si-jing Zhang hong-ji yang Department of Computer Science COMSATS Institute of Information Technology Department of Computer Science and Technology University of Bedfordshire Centre for Creative Computing Bath Spa University

One of the challenging tasks in cognitive radio(CR) networks is to agree on a common control channel to exchange control information. This paper presents a novel medium access control(MAC) protocol for CR network which efficiently and intelligently establishes a common control channel between CR nodes. The proposed protocol is the first CR MAC protocol which is hybrid in nature and lies between global common control channel(GCCC) and non-GCCC family of MAC protocols. The dynamic nature of the protocol makes the CR nodes converge on a newly found control channel quicker whenever the interference from a licensed user is sensed. The analytical results show that the dynamic, hybrid and adaptive nature of proposed protocol yields higher throughputs when compared with other CR MAC protocols.

关键词： Cognitive radio common control channel co-operative communication medium access control(MAC)protocols DTMC

A Creative Approach to Reducing Ambiguity in Scenario-based Software Architecture Analysis

在线全文

学校读者我要写书评

暂无评论

International Journal of Automation and computing 2019年第2期16卷 248-260页

作者： Xi-Wen Wu Chen Li Xuan Wang hong-ji yang Department of Computer Science and Engineering Shanghai Jiao Tong University Department of Computing Imperial College London Center for Creative Computing Bath Spa University

In software engineering, a scenario describes an anticipated usage of a software system. As scenarios are useful to understand the requirements and functionalities of a software system, the scenario-based analysis is widely used in various tasks, especially in the design stage of software architectures. Although researchers have proposed various scenario-based approaches to analyse software architecture, there are still limitations in this research field, and a key limitation is that scenarios are typically not formally defined and thus may contain ambiguities. As these ambiguities may lead to defects, it is desirable to reduce them as many as possible. In order to reduce ambiguity in scenario-based software architecture analysis, this paper introduces a creative computing approach to scenario-based software requirements analysis. Our work expands this idea in three directions. Firstly, we extend an architecture description language(ADL)-based language – Breeze/ADL to model the software architecture. Secondly, we use a creative rule – combinational rule(CR) to combine the vector clock algorithm for reducing the ambiguities in modelling scenarios. Then, another creative rule – transformational rule(TR) is employed to help to transform our Breeze/ADL model to a popular model – unified modelling language(UML) model. We implement our approach as a plugin of Breeze, and illustrate a running example of modelling a poetry to music system in our case *** results show the proposed creative approach is able to reduce ambiguities of the software architecture in practice.

关键词： Creative computing vector clock algorithm scenario-based analysis of software architecture sequence diagram Breeze/ architecture description language (ADL)

xBreeze/ADL:A Language for Software Architecture Specification and Analysis

在线全文

学校读者我要写书评

暂无评论

International Journal of Automation and computing 2016年第6期13卷 552-564页

作者： Chert Li hong-ji yang Mei-Yu Shi Wei Zhu School of Humanities and Cultural Industries Bath Spa UniversityUK Tourism Institute Beijing Union UniversityBeijing 100101China

Architecture description languages play an important role in modelling software architectures. However, many architecture description languages （ADLs） are either unable to deal with the verification and dynamic changes directly or too formal to be understood and manipulated. This paper presents xBreeze/ADL, a novel extensible markup language （XML）-based verification and evolution supported architecture description language, which is specifically designed for modelling the software architecture of large, complex systems. Five principle design goals are 1） to separate template from instance to define a loose coupling structure, 2） to present virtual and concrete link to identify service execution flow, 3） to clearly represent component behaviour to specify architecture semantics, 4） to introduce multi-dimension restrictions to define the architecture constraints, and 5） to use the graph transformation theory to implement the architecture configuration management （i.e., reconfiguration and verification）. Various advanced features of xBreeze/ADL are illustrated by using an example on online movie ticket booking system.

关键词： Software architecture architecture description language (ADL) xBreeze/ADL breeze graph grammar Breeze/ADL.

An Approach to Locating Delayed Activities in Software Processes

在线全文

学校读者我要写书评

暂无评论

International Journal of Automation and computing 2018年第1期15卷 115-124页

作者： Yun-Zhi jin Hua Zhou hong-ji yang Si-jing Zhang ji-Dong Ge School of Software Yunnan University Kunming 650091 China Key Laboratory for Software Engineering of Yunnan Province Kunming 650000 China Research Center of Cloud Computing of Yunnan Province Kunming 650000 China Centre for Creative Computing Bath Spa University Corsham SN13 0BZ UK Department of Computer Science and Technology University of Bedfordshire LU13JU UK State Key Laboratory for Novel Software Technology Software Institute Nanjing University Nanjing 210093 China

Activity is now playing a vital role in software processes. To ensure the high-level efficiency of software processes, a key point is to locate those activities that own bigger resource occupation probabilities with respect to average execution time, called delayed activities, and then improve them. To this end, we firstly propose an approach to locating delayed activities in software processes. Furthermore, we present a case study, which exhibits the high-level efficiency of the approach, to concretely illustrate this new solution. Some beneficial analysis and reasonable modification are developed in the end.

关键词： Locating of the delayed activities software process stochastic Petri-nets Markov random fields metrics.

Authentication and Access Control in RFID Based Logistics-customs Clearance Service Platform

在线全文

学校读者我要写书评

暂无评论

International Journal of Automation and computing 2010年第2期7卷 180-189页

作者： Hui-Fang Deng Wen Deng Han Li hong-ji yang School of Computer Science and Engineering South China University of Technology Guangzhou 510006 PRC School of Software Engineering South China University of Technology Guangzhou 510006 PRC School of Computer Science and Technology Dalian University of Technology Dalian 116023 PRC School of Computing De Montfort University Leicester LE1 9BH UK

The content security requirements of a radio frequency identification （RFID） based logistics-customs clearance service platform （LCCSP） are analysed in this paper. Then, both the unified identity authentication and the access control modules are designed according to those analyses. Finally, the unified identity authentication and the access control on the business level are implemented separately. In the unified identity authentication module, based on an improved Kerberos-based authentication approach, a new control transfer method is proposed to solve the sharing problem of tickets among different servers of different departments. In the access control module, the functions of access controls are divided into different granularities to make the access control management more flexible. Moreover, the access control module has significant reference value for user management in similar systems.

关键词： Content security unified identity authentication control transfer access control logistics-customs clearance service platform (LCCSP).

Conceivable Security Risks and Authentication Techniques for Smart Devices: A Comparative Evaluation of Security Practices

在线全文

学校读者我要写书评

暂无评论

International Journal of Automation and computing 2016年第4期13卷 350-363页

作者： Syeda Mariam Muzammal Munam Ali Shah Si-jing Zhang hong-ji yang Department of Computer Science COMSATS Institute of Information Technology Islamabad Pakistan Department of Computer Science and Technology University of Bedfordshire Luton LU13JU UK Centre for Creative Computing Bath Spa University Bath BA2 9BN UK

With the rapidly escalating use of smart devices and fraudulent transaction of users＇ data from their devices, efficient and reliable techniques for authentication of the smart devices have become an obligatory issue. This paper reviews the security risks for mobile devices and studies several authentication techniques available for smart devices. The results from field studies enable a comparative evaluation of user-preferred authentication mechanisms and their opinions about reliability, biometric authentication and visual authentication techniques.

关键词： Smart devices security risks authentication biometric privacy.

Estimation of Reliability and Cost Relationship for Architecture-based Software

在线全文

学校读者我要写书评

暂无评论

International Journal of Automation and computing 2010年第4期7卷 603-610页

作者： Hui Guan Wei-Ru Chen Ning Huang hong-ji yang Department of Computer Science and Technology Shenyang Institute of Chemical Technology Shenyang 110142 PRC Software Technology Research Laboratory De Montfort University Leicester LE19BH UK

In this paper, wc propose a new method to estimate the relationship between software reliability and software development cost taking into account the complexity for developing the software system and the size of software intended to develop during the implementation phase of the software development lifc cycle. On the basis of estimated relationship, a set of empirical data has been used to validate the correctness of the proposed model by comparing the result with the other existing models. The outcome of this work shows that the method proposed here is a relatively straightforward one in formulating the relationship between reliability and cost during implementation phase.

关键词： Development cost failure rate software architecture software reliability

A Service Composition Approach Based on Sequence Mining for Migrating E-learning Legacy System to SOA

在线全文

学校读者我要写书评

暂无评论

International Journal of Automation and computing 2010年第4期7卷 584-595页

作者： Zhuo Zhang Dong-Dai Zhou hong-ji yang Shao-Chun Zhong Software School in Northeast Normal University Changchun 130024 PRC Software Technology Research Laboratory De Montfort University Leicester LE1 9BH UK Institute of Ideal Information and Technology in Northeast Normal University Changchun 130024 PRC Engineering Research Center of E-Learning Technologies Ministry of Education Changchun 130024 PRC

With the fast development of business logic and information technology, today＇s best solutions are tomorrow＇s legacy systems. In China, the situation in the education domain follows the same path. Currently, there exists a number of e-learning legacy assets with accumulated practical business experience, such as program resource, usage behaviour data resource, and so on. In order to use these legacy assets adequately and efficiently, we should not only utilize the explicit assets but also discover the hidden assets. The usage behaviour data resource is the set of practical operation sequences requested by all users. The hidden patterns in this data resource will provide users＇ practical experiences, which can benefit the service composition in service-oriented architecture （SOA） migration. Namely, these discovered patterns will be the candidate composite services （coarse-grained） in SOA systems. Although data mining techniques have been used for software engineering tasks, little is known about how they can be used for service composition of migrating an e-learning legacy system （MELS） to SOA. In this paper, we propose a service composition approach based on sequence mining techniques for MELS. Composite services found by this approach will be the complementation of business logic analysis results of MELS. The core of this approach is to develop an appropriate sequence mining algorithm for mining related data collected from an e-learning legacy system. According to the features of execution trace data on usage behaviour from this e-learning legacy system and needs of further pattern analysis, we propose a sequential mining algorithm to mine this kind of data of tile legacy system. For validation, this approach has been applied to the corresponding real data, which was collected from the e-learning legacy system; meanwhile, some investigation questionnaires were set up to collect satisfaction data. The investigation result is 90% the same with the result obtained thr

关键词： Service composition e-learning sequence mining algorithm service-oriented architecture (SOA) legacy system