期刊文献+
共找到12篇文章
< 1 >
每页显示 20 50 100
Creation and Inheritance of Traditional Architectural Language and Place Spirit:A Case Study of The Design of Zibo Qidu Star City Hotel
1
作者 ZHANG Chunyang FAN Lingyun 《Journal of Landscape Research》 2020年第5期71-74,77,共5页
Architecture is not only the perfect embodiment of construction technology level at that time,but also the expression form of cultural ideology.Architectural culture is an important part of the history of human civili... Architecture is not only the perfect embodiment of construction technology level at that time,but also the expression form of cultural ideology.Architectural culture is an important part of the history of human civilization,which not only includes building materials,architectural styles and regional characteristics,but also contains certain spiritual beliefs and historical inheritance.Through the design of Zibo Qidu Star City Hotel,the inheritance of regional culture and traditional culture under the international situation of architecture is discussed from the inheritance and development of“Qi culture”. 展开更多
关键词 architectural language Regional culture Qi culture High-platform building
下载PDF
Design and Application of PCE-Oriented Multi-agent Software Framework and Agent Communication Module 被引量:1
2
作者 刘发贵 张功胜 +1 位作者 林俊 郑兆妙 《Journal of Donghua University(English Edition)》 EI CAS 2010年第2期258-262,共5页
With the improvement of mobile equipment performance and development of Pervasive Computing,interactive computational applications such as Multi-Agent (MA) systems in Pervasive Computing Environments (PCE) become more... With the improvement of mobile equipment performance and development of Pervasive Computing,interactive computational applications such as Multi-Agent (MA) systems in Pervasive Computing Environments (PCE) become more and more prevalent. Many applications in PCE require Agent communication,manual control,and diversity of devices. Hence system in PCE must be designed flexible,and optimize the use of network,storage and computing resources. However,traditional MA software framework cannot completely adapt to these new features. A new MA software framework and its Agent Communication Modules to solve the problem brought by PCE was proposed. To describe more precisely,it presents Wright/ADL (Architecture Description Language) description of the new framework. Then,it displays an application called AI Eleven based on this new framework. AI Eleven achieves Agent-Agent communication and good collaboration for a task. Two experiments on AI Eleven will demonstrate the new framework's practicability and superiority. 展开更多
关键词 Pervasive Computing Multi-Agent (MA) framework Architecture Description language (ADL
下载PDF
IoT-Enabled Autonomous System Collaboration for Disaster-Area Management 被引量:2
3
作者 Abenezer Girma Niloofar Bahadori +5 位作者 Mrinmoy Sarkar Tadewos G.Tadewos Mohammad R.Behnia M.Nabil Mahmoud Ali Karimoddini Abdollah Homaifar 《IEEE/CAA Journal of Automatica Sinica》 SCIE EI CSCD 2020年第5期1249-1262,共14页
Timely investigating post-disaster situations to locate survivors and secure hazardous sources is critical,but also very challenging and risky.Despite first responders putting their lives at risk in saving others,huma... Timely investigating post-disaster situations to locate survivors and secure hazardous sources is critical,but also very challenging and risky.Despite first responders putting their lives at risk in saving others,human-physical limits cause delays in response time,resulting in fatality and property damage.In this paper,we proposed and implemented a framework intended for creating collaboration between heterogeneous unmanned vehicles and first responders to make search and rescue operations safer and faster.The framework consists of unmanned aerial vehicles(UAVs),unmanned ground vehicles(UGVs),a cloud-based remote control station(RCS).A light-weight message queuing telemetry transport(MQTT)based communication is adopted for facilitating collaboration between autonomous systems.To effectively work under unfavorable disaster conditions,antenna tracker is developed as a tool to extend network coverage to distant areas,and mobile charging points for the UAVs are also implemented.The proposed framework’s performance is evaluated in terms of end-to-end delay and analyzed using architectural analysis and design language(AADL).Experimental measurements and simulation results show that the adopted communication protocol performs more efficiently than other conventional communication protocols,and the implemented UAV control mechanisms are functioning properly.Several scenarios are implemented to validate the overall effectiveness of the proposed framework and demonstrate possible use cases. 展开更多
关键词 architectural analysis and design language(AADL)and cloud computing disaster area management internet of things(IoT) message queuing telemetry transport(MQTT) unmanned aerial vehicle(UAV) unmanned ground vehicle(UGV)
下载PDF
AADL2TASM: a Verification and Analysis Tool for AADL Models
4
作者 蒋树 胡凯 +3 位作者 杨志斌 顾斌 张腾 姜泮昌 《Journal of Donghua University(English Edition)》 EI CAS 2012年第1期94-98,共5页
Architecture analysis and design language (AADL) is an architecture description language standard for embedded real-time systems and it is widely used in safety-critical applications. For facilitating verifcafion an... Architecture analysis and design language (AADL) is an architecture description language standard for embedded real-time systems and it is widely used in safety-critical applications. For facilitating verifcafion and analysis, model transformation is one of the methods. A synchronous subset of AADL and a general methodology for translating the AADL subset into timed abstract state machine (TASM) were studied. Based on the arias transformation language ( ATL ) framework, the associated translating tool AADL2TASM was implemented by defining the meta-model of both AADL and TASM, and the ATL transformation rules. A case study with property verification of the AADL model was also presented for validating the tool. 展开更多
关键词 architecture analysis and design language AADL timed abstract state machine TASM model transformation atlas transformation languaee( ATL
下载PDF
xBreeze/ADL:A Language for Software Architecture Specification and Analysis
5
作者 Chert Li Hong-Ji Yang +1 位作者 Mei-Yu Shi Wei Zhu 《International Journal of Automation and computing》 EI CSCD 2016年第6期552-564,共13页
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. 展开更多
关键词 Software architecture architecture description language (ADL) xBreeze/ADL breeze graph grammar Breeze/ADL.
原文传递
Integrating behavior analysis into architectural modeling
6
作者 Luxi CHEN Linpeng HUANG +1 位作者 Chen LI Tao ZAN 《Frontiers of Computer Science》 SCIE EI CSCD 2015年第1期15-33,共19页
Architectural modeling and behavior analysis are two important concerns in the software development. They are often implemented separately, and specified by their own supporting notations. Architectural modeling helps... Architectural modeling and behavior analysis are two important concerns in the software development. They are often implemented separately, and specified by their own supporting notations. Architectural modeling helps to guarantee the system design to satisfy the requirement, and behavior analysis can ensure the interaction correctness. To improve the trustworthiness, methods trying to combine architectural modeling and behavior analysis notations together have been proposed, e.g., establishing a one-way mapping relation. However, the one-way relation cannot ensure updating one notation specifications in accordance with the other one, which results in inconsistency problems. In this paper, we present an approach to integrating behavior analysis into architectural modeling, which establishes the interoperability between architectural modeling notation and behavior analysis notation by a bidirectional mapping. The architecture is specified by the modeling language, architecture analysis and design language (AADL), and then mapped to behavior analysis notation, Darwin/FSP (finite state process) through the bidirectional transformation. The bidirectional transformarion provides traceability, which makes behavior analysis result provided by a model checker can be traced and reflected back to the original AADL specifications. In this way, the behavior analysis is integrated into architectural modeling. The feasibility of our approach is shown by a control system example. 展开更多
关键词 software architecture component behavior bidirectional transformation architecture analysis and design language (AADL) model checking
原文传递
Concept cathedral and “squaring the circle”:Interpreting the Gothic cathedral of Notre Dame de Paris as a standing hymn 被引量:1
7
作者 Nelly Shafik Ramzy 《Frontiers of Architectural Research》 CSCD 2021年第2期369-393,共25页
Semiotics is used in the sphere of visual arts as a tool that helps reading the message included in a certain work.Gothic architecture,as an outcome of the rich cultural context of medieval tradition,where metaphysics... Semiotics is used in the sphere of visual arts as a tool that helps reading the message included in a certain work.Gothic architecture,as an outcome of the rich cultural context of medieval tradition,where metaphysics,numbers and geometry were indispensable tools to symbolically manifest cosmological and theological concepts,is suggested as a good example for testing this approach in the field of architecture.In this paper,a semiotic reading for one of the most distinguished works of this era;i.e.,the cathedral of Notre Dame de Paris,is introduced as a model for this methodology.Among many message included in the building,such as the functional or the technical messages,this is a trial to introduce a reading,i.e.,an interpretation,of what could be called rta hidden spiritual messase,The paper comes to a conclusion that the Gothic cathedral,as represented in Notre Dame de Paris,might be perceived as an extemalization of a standing hymn that was meant to send continuous appeals of protection to Heaven. 展开更多
关键词 SEMIOTICS architectural language SYMBOLISM Gothic architecture Notre Dame de Paris
原文传递
Visual Specification and Analysis of Contract-Based SoftwareArchitectures
8
作者 Mert Ozkaya 《Journal of Computer Science & Technology》 SCIE EI CSCD 2017年第5期1025-1043,共19页
XCD is a design-by-contract based architecture description language that supports modular specifications in terms of components and connectors (i.e., interaction protocols). XCD is supported by a translator that produ... XCD is a design-by-contract based architecture description language that supports modular specifications in terms of components and connectors (i.e., interaction protocols). XCD is supported by a translator that produces formal models in SPIN’s ProMeLa formal verification language, which can then be formally analysed using SPIN’s model checker. XCD is extended with a visual notation set called VXCD. VXCD extends UML’s component diagram and adapts it to XCD’s structure, contractual behaviour, and interaction protocol specifications. Visual VXCD specifications can be translated into textual XCD specifications for formal analysis. To illustrate VXCD, the well-known gas station system is used. The gas system is specified contractually using VXCD’s visual notation set and then formally analysed using SPIN’s model checker for a number of properties including deadlock and race-condition. 展开更多
关键词 architectural language design-by-contract visual modelling language interaction protocol formal analysis
原文传递
Architecture-level particular risk modeling and analysis for a cyber-physical system with AADL 被引量:1
9
作者 Ming-rui XIAO Yun-wei DONG +2 位作者 Qian-wen GOU Feng XUE Yong-hua CHEN 《Frontiers of Information Technology & Electronic Engineering》 SCIE EI CSCD 2020年第11期1607-1625,共19页
Cyber-physical systems(CPSs)are becoming increasingly important in safety-critical systems.Particular risk analysis(PRA)is an essential step in the safety assessment process to guarantee the quality of a system in the... Cyber-physical systems(CPSs)are becoming increasingly important in safety-critical systems.Particular risk analysis(PRA)is an essential step in the safety assessment process to guarantee the quality of a system in the early phase of system development.Human factors like the physical environment are the most important part of particular risk assessment.Therefore,it is necessary to analyze the safety of the system considering human factor and physical factor.In this paper,we propose a new particular risk model(PRM)to improve the modeling ability of the Architecture Analysis and Design Language(AADL).An architecture-based PRA method is presented to support safety assessment for the AADL model of a cyber-physical system.To simulate the PRM with the proposed PRA method,model transformation from PRM to a deterministic and stochastic Petri net model is implemented.Finally,a case study on the power grid system of CPS is modeled and analyzed using the proposed method. 展开更多
关键词 Human-cyber-physical system(HCPS) Particular risk analysis Architecture Analysis and Design language(AADL) Deterministic and stochastic Petri net(DSPN) Particular risk model
原文传递
Formal Description of the Crossing Social Network System Architecture Based on Temporal Logic
10
作者 XIAO Ruliang NI Youcong +1 位作者 DU xin GONG Ping 《Wuhan University Journal of Natural Sciences》 CAS 2011年第6期525-534,共10页
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. 展开更多
关键词 cross-social network architecture description language corelation ACTIVITY
原文传递
SPECIFYING AGENT-ORIENTED E-COMMERCE SOFTWARE AS ORGANIZATIONAL STRUCTURES
11
作者 Manuel KOLP Adrien COYETTE Stéphane FAULKNER 《Systems Science and Systems Engineering》 CSCD 2004年第4期450-468,共19页
Agent architectures are gaining popularity for building open, distributed, and evolving software required by e-commerce applications. Unfortunately, despite considerable work in software architecture during the last... Agent architectures are gaining popularity for building open, distributed, and evolving software required by e-commerce applications. Unfortunately, despite considerable work in software architecture during the last decade, few research efforts have aimed at truly defining patterns and languages for agent architectural design. This paper proposes a modern approach based on organizational structures and architectural description languages to define and specify agent architectures notably in the case of e-commerce system design. 展开更多
关键词 Agent systems architectural description language organizational styles BDI agent model system architecture e-commerce application
原文传递
An Approach to Modelling and Analysing Reliability of Breeze/ADL-based Software Architecture
12
作者 Chen Li Hong-Ji Yang Hua-Xiao Liu 《International Journal of Automation and computing》 EI CSCD 2017年第3期275-284,共10页
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. 展开更多
关键词 Software architecture reliability Breeze/architecture description language(ADL) generalized stochastic Petri net(GSPN) Breeze graph grammar
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部