共查询到10条相似文献,搜索用时 234 毫秒
1.
2.
Humberto Nicolás Castejón Gregor von Bochmann Rolv Bræk 《Software and Systems Modeling》2013,12(3):597-617
This paper considers compositional specifications of services using UML 2 collaborations, activity and interaction diagrams, and addresses the realizability problem for such specifications: given a global specification, can we construct a set of communicating system components whose joint behavior is precisely the specified global behavior? We approach the problem by looking at how the sequencing of collaborations and local actions may be described using UML activity diagrams. We identify the realizability problems for each of the sequencing operators, such as strong and weak sequence, choice of alternatives, loops, and concurrency. The nature of these realizability problems and possible solutions are discussed. This brings a new look at already known problems: we show that given some conditions, certain problems can already be detected at an abstract level, without looking at the detailed interactions of the collaborations, provided that we know the components that initiate and terminate the different collaborations. 相似文献
3.
The Unified Modeling Langugage (UML) offers different diagram types to model the behavior of software systems. In some domains like embedded real-time systems or multimedia systems, it is necessary to include specifications of time in behavioral models 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), an approach based on graph transformation, as a means for specifying operational semantics of dynamic UML diagrams. In this article, we extend this approach to also account for time by extending the semantic domain to timed graph transformation. This enables us to define the operational semantics of UML diagrams with time specifications. As an example, we provide semantics for special sequence diagrams from the domain of multimedia application modeling. 相似文献
4.
5.
6.
在基于构件的系统设计中,需要对构件的一致性进行验证。构件的一致性包括语义一致性和协议一致性,已有的一致性验证方法仅支持构件的协议一致性验证。而在实际应用中除了要进行构件的协议一致性验证外,还需要进行其语义一致性验证。为此提出了一种包含协议和语义的构件一致性验证方法。所提方法将方法语义与基于场景的需求规约相结合,使用语义扩展接口自动机模型(SIA)来建模构件的语义和协议信息,使用带有语义约束的UML交互概观图来表示基于场景的需求规约。通过对SIA和带语义约束的UML交互概观图的行为的理论分析,进一步形成了一种一致性验证算法,并用实例来说明其过程。该算法不仅能够检验系统中构件的协议一致性,而且能够检验其语义一致性。该算法中的方法语义包括了该方法参数的类型和详细语义信息,更符合实际应用情形。 相似文献
7.
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. 相似文献
8.
This paper describes the Mondex case study with UML class diagrams and restricting OCL constraints. The constraints have been
formulated either as OCL class invariants or as OCL pre- and postconditions. The proposed two models include UML class diagrams
and OCL constraints which have been checked by the UML and OCL tool USE (UML-based Specification Environment). USE allows
validation of a model by testing it with scenarios. The Mondex case study has been validated by positive and negative test
cases. The test cases allow the validity of the various constraints to be traced and checked. Validation results are presented
as textual protocols or as UML sequence diagrams where starting, intermediate, and resulting system states are represented
by UML object diagrams. UML sequence diagrams, UML object diagrams, and textual protocols are shown with varying degrees of
detail for the attributes, constraints, and executed commands.
J. C. P. Woodcock 相似文献
9.
Kyriakos Anastasakis Behzad Bordbar Geri Georg Indrakshi Ray 《Software and Systems Modeling》2010,9(1):69-86
The Unified Modeling Language (UML) is the de facto language used in the industry for software specifications. Once an application
has been specified, Model Driven Architecture (MDA) techniques can be applied to generate code from such specifications. Since
implementing a system based on a faulty design requires additional cost and effort, it is important to analyse the UML models
at earlier stages of the software development lifecycle. This paper focuses on utilizing MDA techniques to deal with the analysis
of UML models and identify design faults within a specification. Specifically, we show how UML models can be automatically
transformed into Alloy which, in turn, can be automatically analysed by the Alloy Analyzer. The proposed approach relies on
MDA techniques to transform UML models to Alloy. This paper reports on the challenges of the model transformation from UML
class diagrams and OCL to Alloy. Those issues are caused by fundamental differences in the design philosophy of UML and Alloy.
To facilitate better the representation of Alloy concepts in the UML, the paper draws on the lessons learnt and presents a
UML profile for Alloy. 相似文献
10.
Toshiyuki Miyamoto Hiroyuki Kurahata Taku Fujii Ryoji Hosokawa 《Innovations in Systems and Software Engineering》2010,6(1-2):39-46
Service-oriented architecture is an architecture style to build up a large-scale networked system composed of a set of components or functions, each of which is called a service. A problem to construct behavioral models of services from given global interaction specifications, called choreography, is known as the choreography realization problem. The constructed model is still an intermediate model in the process of system developments; the model will be corrected, modified, and enhanced further by designers. Therefore, we also have to consider readability of the constructed model. In this paper, we proposed a method to construct state machine models from choreographies described by a set of communication diagrams using Petri nets. The proposed method will try to use the composite states and the orthogonal regions of UML state machines for the readability. 相似文献