[PDF][PDF] 可视化语言技术在软件开发中的应用

孔骏, 赵春颖 - 软件学报, 2008 - jos.org.cn
extends the static meta-model with a specification describing a … In order to model software
architectures using those languages in … This work emphasizes modeling dynamic changes of …

基于Petri 网的UML 状态图的形式化模型

郭峰, 姚淑珍 - 北京航空航天大学学报, 2007 - bhxb.buaa.edu.cn
… : A formal model named SC_Net which can precisely describe the dynamic features of UML
… Then, based on C_Net an extended Petri net model named SC_Net was defined which can …

[PDF][PDF] 软件体系结构动态演化的条件超图文法及分析

徐洪珍, 曾国荪, 陈波 - 软件学报, 2011 - jos.org.cn
… Abstract: This paper proposes to represent software architectures with constraint hypergraphs,
Describing dynamic software architectures using an extended UML model. In: Proc. of the …

[PDF][PDF] 一个基于Ada 的面向对象建模语言

戴桂兰, 徐宝文 - 软件学报, 2001 - jos.org.cn
… Abstracte This paper describes an Ada-based object-oriented modeling language AMI. …
is an extension to package in Ada95, and is used to describe the dynamic behavior and …

[HTML][HTML] 中国XML 论坛(BBS. XML. ORG. CN)

C Hsu - 2004 - bbs.w3china.org
… This section describes the status of this document at the time of its … a suitable model on the
Web and simply reuse or extend it. By … models are designed as part of a software architecture. …

基于模型的动态可演化面向服务架构验证方法

Y Zhou, J Ge, P Zhang, W Wu - Science China Information Sciences, 2016 - Springer
… exists a causal relationship between software architecture and the … the modeling of the
underlying uncertainties, we extend our … Since we revised the model as described in Figure 7, the …

[PDF][PDF] 软件体系结构研究进展

梅宏, 申峻嵘 - 软件学报, 2006 - Citeseer
… and practice of software architecture from a software lifecycle’s … Description of SA models,
SA design approach, codification … Extending architectural representation in UML with view …

[PDF][PDF] 基于情境感知的服务系统①

童缙, 郁莲, 李伟平, 林慧苹, 褚伟杰 - 计算机系统应用, 2009 - csa.org.cn
… tion, over foundational and software architectural issues, to user … an appropriate architecture
that allows for dynamic discovery (… Let us describe the system architecture using the lost-and …

Check for Assume-Guarantee Reasoning for Additive Hybrid Behaviour Pieter JL Cuijpers¹, 2 Jonas Hansen³ 3 (二)

PJL Cuijpers¹, J Hansen - … : Essays Dedicated to Jifeng He on the …, 2023 - books.google.com
… Hybrid Automata describe dynamical systems … extended to the setting of timed as well as
probabilistic systems [9, 10, 14]. The contributions of this paper may be seen as an extension of …

[PDF][PDF] Model 丁based User Interface Generation from Process 丁Oriented Models

T Schlegel - researchgate.net
… sequences has also lead to many different models trying to capture the interaction dynamics
extension of common concepts allows easier roll out than the dedicated models described