共查询到19条相似文献,搜索用时 406 毫秒
1.
随着Agent技术的发展,面向Agent的需求工程已经成为软件工程研究的热点。当前对面向Agent需求工程的研究提出了一个新的观点,即把需求工程的活动划分为早期需求分析和后期需求分析两个阶段。在该文构建的需求模型中,早期需求分析过程主要采用由Eric Yu等人提出的I*框架,同时为了防止对需求分析的随意性和不准确,基于该框架提出新的需求模型。在后期的需求分析过程中,主要采用UML来完成。基于此,该文采用基于I*和UML的面向Agent需求建模方法,以网上选课系统案例为背景,研究构建面向Agent系统的需求模型的主要过程。 相似文献
2.
安全性是现代软件系统的重要组成部分,安全需求建模是确保软件安全性的基础.针对软件安全需求,提出了一种基于UML安全扩展(UMLsec)的软件安全需求建模方法.在软件需求规格说明的基础上,获取安全需求,对安全需求进行描述,并将安全需求描述集成到功能需求模型中,构建安全需求模型,并对模型进行了验证.科研信息系统实例表明了该方法的有效性. 相似文献
3.
4.
5.
6.
AUML(Agent UML)是Agent建模普遍采用的方法,其通过对UML的扩展来支持Agent的建模.通过借鉴面向对象的系统分析方法,给出了AUML建模方案,并详细描述了AUML的建模机制和各类图的扩展.以编队指挥系统为例,从分析系统用例,分析和识别最初的Agent类型,责任识别,提取Agent之间的关系及精化Agent,确定交互直至Agent信息的配置,建立了一整套基于AUML的Agent建模方案. 相似文献
7.
8.
一种改进的软件工程需求建模框架 总被引:1,自引:2,他引:1
软件需求建模是软件工程中一个非常重要的环节,同时也是一个非常困难的环节。在统一建模语言UML的基础上,文章提出一种改进的软件工程需求建模框架,在此框架中,引入任务陈述和功能求精树的技术来确定用例,并给出了一个新的用例描述模板。开发人员利用该框架能够更详尽、更精确地获取软件系统的功能需求,并且利用该框架建立的高层次需求模型也比较容易细化为更详细的软件规格说明。 相似文献
9.
统一建模语言UML广泛用于面向对象技术的建模,B方法主要是用抽象机来描述软件系统的规格说明.文章针对软件开发中经常用到的UML模型,提出了基于B语言的UML形式化方法:通过将UML模型转化为B抽象机,实现了UML模型的形式化.实例分析表明,转换是可行的. 相似文献
10.
11.
Test Synthesis from UML Models of Distributed Software 总被引:1,自引:0,他引:1
Pickin S. Jard C. Jeron T. Jezequel J.-M. Le Traon Y. 《IEEE transactions on pattern analysis and machine intelligence》2007,33(4):252-269
The object-oriented software development process is increasingly used for the construction of complex distributed systems. In this context, behavior models have long been recognized as the basis for systematic approaches to requirements capture, specification, design, simulation, code generation, testing, and verification. Two complementary approaches for modeling behavior have proven useful in practice: interaction-based modeling (e.g., UML sequence diagrams) and state-based modeling (e.g., UML statecharts). Building on formal V&V techniques, in this article we present a method and a tool for automated synthesis of test cases from scenarios and a state-based design model of the application, remaining entirely within the UML framework. The underlying "on the fly" test synthesis algorithms are based on the input/output labeled transition system formalism, which is particularly appropriate for modeling applications involving asynchronous communication. The method is eminently compatible with classical OO development processes since it can be used to synthesize test cases from the scenarios used in early development stages to model global interactions between actors and components, instead of these test cases being derived manually. We illustrate the system test synthesis process using an air traffic control software example 相似文献
12.
Synthesizing Distributed Protocol Specifications from a UML State Machine Modeled Service Specification
下载免费PDF全文
![点击此处可从《计算机科学技术学报》网站下载免费的PDF全文](/ch/ext_images/free.gif)
The object-oriented paradigm is widely applied in designing and implementing communication systems.Unified Modeling Language(UML) is a standard language used to model the design of object-oriented systems.A protocol state machine is a UML adopted diagram that is widely used in designing communication protocols.It has two key attractive advantages over traditional finite state machines:modeling concurrency and modeling nested hierarchical states.In a distributed communication system,each entity of the system has its own protocol that defines when and how the entity exchanges messages with other communicating entities in the system.The order of the exchanged messages must conform to the overall service specifications of the system.In object-oriented systems,both the service and the protocol specifications are modeled in UML protocol state machines.Protocol specification synthesis methods have to be applied to automatically derive the protocol specification from the service specification.Otherwise,a time-consuming process of design,analysis,and error detection and correction has to be applied iteratively until the design of the protocol becomes error-free and consistent with the service specification.Several synthesis methods are proposed in the literature for models other than UML protocol state machines,and therefore,because of the unique features of the protocol state machines,these methods are inapplicable to services modeled in UML protocol state machines.In this paper,we propose a synthesis method that automatically synthesizes the protocol specification of distributed protocol entities from the service specification,given that both types of specifications are modeled in UML protocol state machines.Our method is based on the latest UML version(UML2.3),and it is proven to synthesize protocol specifications that are syntactically and semantically correct.As an example application,the synthesis method is used to derive the protocol specification of the H.323 standard used in Internet calls. 相似文献
13.
基于网格的面向Agent形式化建模框架 总被引:1,自引:0,他引:1
提出了一种基于OGSA(open grid services architecture)网格体系结构的面向Agent形式化建模框架——AOMG(agent-oriented modeling based on grid)形式化框架,该框架基于Object-Z语言,吸收了Ⅰ^*框架和UML中的部分元模型,加入了对Agent与网格环境之间交互关系的描述,以及对Agent服务属性的处理,从而解决了现有方法无法对基于网格环境的分布式系统进行分析与设计建模的问题.给出了AOMG形式化框架中的3类核心模型:组织模型、Agent类模型和Agent服务模型.提供了一组新颖的从组织模型到Agent类模型的形式化语义映射规则,实现了系统模型从Agent抽象层次到对象层次的快速转换. 相似文献
14.
实时系统动态行为模型的一种形式分析方法* 总被引:1,自引:0,他引:1
提出了一种基于统一建模语言UML 2.0的实时系统动态行为模型的形式分析方法。首先给出了UML顺序图的形式化描述,分析了UML顺序图中事件之间的关系;在此基础上,给出一种对象自动机来描述每个对象在UML顺序图描述的场景中所参与的事件序列的方法,并将该方法扩展到带有组合片段的UML 2.0顺序图;最后通过分析UML 2.0顺序图中的时间建模机制,给出了从UML 2.0顺序图中提取时间约束得到时间自动机的算法。 相似文献
15.
Use of model-driven approaches has been increasing to significantly benefit the process of building complex systems. Recently, an approach for specifying model behavior using UML activities has been devised to support the creation of DEVS models in a disciplined manner based on the model driven architecture and the UML concepts. In this paper, we further this work by grounding Activity-based DEVS modeling and developing a fully-fledged modeling engine to demonstrate applicability. We also detail the relevant aspects of the created metamodel in terms of modeling and simulation. A significant number of the artifacts of the UML 2.5 activities and actions, from the vantage point of DEVS behavioral modeling, is covered in details. Their semantics are discussed to the extent of time-accurate requirements for simulation. We characterize them in correspondence with the specification of the atomic model behavior. We demonstrate the approach with simple, yet expressive DEVS models. 相似文献
16.
Jan Hendrik Hausmann Reiko Heckel Stefan Sauer 《Electronic Notes in Theoretical Computer Science》2003,72(3):133-144
UML offers different diagram types to model behavior and dynamics of software systems. In some domains like embedded real-time systems or multimedia systems, it is necessary to include specifications of time since the correctness of these applications depends on the fulfillment of temporal requirements in addition to functional requirements. UML thus already incorporates language features to model time and temporal constraints. Such model elements must have an equivalent in the semantic domain. We have proposed Dynamic Meta Modeling (DMM) as a means for the specification of the formal operational semantics of UML models by applying graph transformation to the meta modeling of dynamic behavior. Within this paper, we extend this approach to also account for time by building on timed graph transformations. We apply these concepts to the domain of multimedia application modeling in which we adopt UML sequence diagrams. The DMM rules with time then specify an interpreter that can be used to analyze or test a model of multimedia sequence diagrams. 相似文献
17.
The Unified Modeling Language (UML) provides a robust set of tools for modeling software systems. However, these tools do not directly address the requirements of real-time systems. Many real-time systems require the specification of data that has strict timing constraints. This paper presents a UML package for specifying real-time objects called RT-Object. The constructs in the package are based on the objects of the Real-Time Semantic Objects Relationships And Constraints (RTSORAC) model. The RT-Object package has been used to design real-time objects in a Real-Time Multi-User Virtual Environment (RTMUVE), in which widely distributed users collaborate in time-critical planning and decision making. 相似文献
18.
Security requirements have become an integral part of most modern software systems. In order to produce secure systems, it is necessary to provide software engineers with the appropriate systematic support. We propose a methodology to integrate the specification of access control policies into Unified Modeling Language (UML) and provide a graph-based formal semantics for the UML access control specification which permits to reason about the coherence of the access control specification. The main concepts in the UML access control specification are illustrated with an example access control model for distributed object systems. 相似文献
19.
程序挖掘中需求描述的研究 总被引:9,自引:0,他引:9
随着基于构件的程序挖掘思想犤1犦的提出,正确获取用户需求描述成为程序挖掘的关键。通用建模语言UML(U-nifiedModelingLanguage)作为用户需求建模的重要工具,成为用户需求描述的工业化标准。文章在分析需求描述在程序挖掘中的特性的基础上,研究UML的优点和缺陷,提出一种基于UML的构件化的用户需求获取方法CBU(ComponentBasedUML),给出了CBU的XML描述。文中论述了程序挖掘的基本概念、程序挖掘中需求描述的特点、UML的缺陷等方面的问题。 相似文献