scholarly journals Branching Time Semantics for UML 2.0 Sequence Diagrams

2006 ◽  
pp. 259-274 ◽  
Author(s):  
Youcef Hammal
Keyword(s):  
Branching Time ◽  
Sequence Diagrams ◽  
Uml 2.0 ◽  
Time Semantics

scholarly journals Synthesis of Test Scenarios Using UML Sequence Diagrams

2012 ◽  
Vol 2012 ◽  
pp. 1-22
Author(s):  
Ashalatha Nayak ◽  
Debasis Samanta
Keyword(s):  
Sequence Diagrams ◽  
System Behavior ◽  
Test Scenario ◽  
Coverage Criteria ◽  
Different Types ◽  
Levels Of Automation ◽  
Uml 2.0 ◽  
Test Scenarios ◽  
Arbitrary Flow ◽  
Testable Model

UML 2.0 sequence diagrams are used to synthesize test scenarios. A UML 2.0 sequence diagram usually consists of a large number of different types of fragments and possibly with nesting. As a consequence, arriving at a comprehensive system behavior in the presence of multiple, nested fragment is a complex and challenging task. So far the test scenario synthesis from sequence diagrams is concerned, the major problem is to extract an arbitrary flow of control. In this regard, an approach is presented here to facilitate a simple representation of flow of controls and its subsequent use in the test scenario synthesis. Also, the flow of controls is simplified on the basis of UML 2.0 control primitives and brought to a testable form known as intermediate testable model (ITM). The proposed approach leads to the systematic interpretation of control flows and helps to generate test scenarios satisfying a set of coverage criteria. Moreover, the ability to support UML 2.0 models leads to increased levels of automation than the existing approaches.

scholarly journals Challenges in Developing Sequence Diagrams (UML)

2020 ◽  
Vol 5 (2) ◽  
pp. 221
Author(s):  
Tri Astoto Kurniawan ◽  
Lam-Son Lê ◽  
Bayu Priyambadha
Keyword(s):  
Software Design ◽  
Software Modeling ◽  
Sequence Diagrams ◽  
Postgraduate Students ◽  
Interaction Diagram ◽  
Analysis And Design ◽  
Software Analysis ◽  
Correct Sequence ◽  
Uml 2.0 ◽  
Novice Designers

During the object-oriented software design phase, the designers have to describe the dynamic aspect of the system under development through the most common interaction diagram variant in UML 2.0, i.e. sequence diagrams. Some novice designers, including undergraduate and postgraduate students, suffer from making inappropriate models due to insufficiently detailed guidance required to develop such sequence diagrams. This paper classifies some potential mistakes which are likely performed by such novice designers, and discusses the corresponding corrections. We summarized such mistakes based on our long experiences in teaching software modeling classes as well as software analysis and design classes. There were classified twenty-one potential mistakes with respect to the syntactical and semantical correctness of the developed models. It is concluded that novice designers have to be aware and take into account the identified mistakes in such a way they can produce correct sequence diagrams.

scholarly journals Linear time and branching time semantics for recursion with merge

1984 ◽  
Vol 34 (1-2) ◽  
pp. 135-156 ◽  
Author(s):  
J.W. De Bakker ◽  
J.A. Bergstra ◽  
J.W. Klop ◽  
J.-J.Ch. Meyer
Keyword(s):  
Linear Time ◽  
Branching Time ◽  
Time Semantics
Sign in / Sign up

Export Citation Format

Share Document