By Topic

Scenarios and State Machines, 2007. SCESM '07: ICSE Workshops 2007. Sixth International Workshop on

Date 20-26 May 2007

Filter Results

Displaying Results 1 - 6 of 6
  • Sixth International Workshop on Scenarios and State Machines - Cover

    Publication Year: 2007, Page(s): c1
    Request permission for commercial reuse | PDF file iconPDF (161 KB)
    Freely Available from IEEE
  • Sixth International Workshop on Scenarios and State Machines - TOC

    Publication Year: 2007, Page(s): v
    Request permission for commercial reuse | PDF file iconPDF (105 KB)
    Freely Available from IEEE
  • On Generating EFSM Models from Use Cases

    Publication Year: 2007, Page(s): 1
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (250 KB) | HTML iconHTML

    Use case-based behavior modeling of applications provides a modeler with an intuitive way of capturing requirements and therefore is considered to be more usable than other conventional behavior modeling techniques. However, such models lack sufficient structure to allow them to be analyzed and processed automatically. In this paper, we demonstrate how a combination of use case diagrams and UML cl... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Designing Tool Support for Translating Use Cases and UML 2.0 Sequence Diagrams into a Coloured Petri Net

    Publication Year: 2007, Page(s): 2
    Cited by:  Papers (14)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (444 KB) | HTML iconHTML

    Using a case study on the specification of an elevator controller, this paper presents an approach that can translate given UML descriptions into a Coloured Petri Net (CPN) model. The UML descriptions must be specified in the form of Use Cases and UML 2.0 Sequence Diagrams. The CPN model constitutes one single, coherent and executable representation of all possible behaviours that are specified by... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Generating Code from Scenario and State Based Models to Address Crosscutting Concerns

    Publication Year: 2007, Page(s): 3
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (213 KB) | HTML iconHTML

    Core application concerns are often modeled using either scenarios or state machines. Crosscutting concerns can also be modeled using either scenarios or state machines. Both scenario and state machine models can be used to generate code. When core and crosscutting concern models are the same type it is relatively straightforward to weave them together and generate code. However, when they are of ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Specifying Use Case Sequencing Constraints Using Description Elements

    Publication Year: 2007, Page(s): 4
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (194 KB) | HTML iconHTML

    The ability to express sequencing constraints is critical to use case based software development. These constraints are needed to effectively compose use case behavior and support verification and validation activities such as simulation and testing. In this paper, we consider the addition of use case description elements to explicitly express sequencing constraints between use cases. We introduce... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.