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 chan...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.展开更多
How to organize crossing social network resources on a higher level of integration and address them to users＇ desktops is an important difficult problem. Especially, there is a lack of efficient approaches to softwar...How to organize crossing social network resources on a higher level of integration and address them to users＇ desktops is an important difficult problem. Especially, there is a lack of efficient approaches to software architecture to build reusable system over the crossing social network, From the viewpoint of temporal logic XYZ/E, this paper proposes a kind of Architecture Descrip- tion Language about the Crossing Social Network system （CSN_ADL）, which can be used to depict the main key processes over the cross-social network system, and formally defines some key concepts, such as relation component, corelation component, override corelation connector, interaction connector, corelation network-oriented architecture, as well as system correctness, system activity, and system safety. Furthermore, some properties of correctness, activity, and safety under the flame CSN_ADL is discussed and depicted formally, which provides a formally theo- retical instruction for architecture reuses.展开更多
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 ...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 study.Our results show the proposed creative approach is able to reduce ambiguities of the software architecture in practice.展开更多
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 pr...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 assessment.Abstract： 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 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 assessment.展开更多
基于位置的服务被认为是继短信之后电信增值业务发展的下一次高潮,在前期所提出的一种面向电信增值业务领域的流程描述语言XPL(extended-calling process language)的基础上,进一步提出了一种描述地理信息服务的语言GDL(geography descr...基于位置的服务被认为是继短信之后电信增值业务发展的下一次高潮,在前期所提出的一种面向电信增值业务领域的流程描述语言XPL(extended-calling process language)的基础上,进一步提出了一种描述地理信息服务的语言GDL(geography description language),GDL可以和XPL配合使用,共同描述基于位置的电信服务.XPL和GDL具有抽象层次高,使用灵活简单,开发业务速度快的特点.还介绍了支持XPL和GDL的业务生成系统.该业务生成系统基于SOA(services-oriented architecture,面向服务的构架),适用于网络融合条件下的业务生成.展开更多
基金supported by National Natural Science Foundation of China(No.71473018)
文摘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.
基金Supported by the Fujian Province Science Research Foundation Grant (2009J01272)the Research Fund (type A) (JA09038) from the Education Department of Fujian Provincethe Humanities and Social Science Research Projects of the Ministry of Education (11YJA860028)
文摘How to organize crossing social network resources on a higher level of integration and address them to users＇ desktops is an important difficult problem. Especially, there is a lack of efficient approaches to software architecture to build reusable system over the crossing social network, From the viewpoint of temporal logic XYZ/E, this paper proposes a kind of Architecture Descrip- tion Language about the Crossing Social Network system （CSN_ADL）, which can be used to depict the main key processes over the cross-social network system, and formally defines some key concepts, such as relation component, corelation component, override corelation connector, interaction connector, corelation network-oriented architecture, as well as system correctness, system activity, and system safety. Furthermore, some properties of correctness, activity, and safety under the flame CSN_ADL is discussed and depicted formally, which provides a formally theo- retical instruction for architecture reuses.
基金partially supported by the Japam Society for the Promotion of Science (JSPS) KAKENHI (Nos. 25420232 and 16K06203)
文摘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 study.Our results show the proposed creative approach is able to reduce ambiguities of the software architecture in practice.
基金supported by Jilin Province Science Foundation for Youths(No.20150520060JH)
文摘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 assessment.Abstract： 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 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 assessment.
