Statecharts: A visual formalism for complex systems
Science of Computer Programming
A timed model for communicating sequential processes
Theoretical Computer Science - Thirteenth International Colloquim on Automata, Languages and Programming, Renne
Theoretical Computer Science
The object advantage: business process reengineering with object technology
The object advantage: business process reengineering with object technology
An extendible approach for analyzing fixed priority hard real-time tasks
Real-Time Systems
The algebra of timed processes, ATP: theory and application
Information and Computation
A process algebra for timed systems
Information and Computation
A theory of processes with durational actions
AMAST '93 Selected papers of the international conference on Algebraic methodology of software technology
A graphical environment for the design of concurrent real-time systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Interval logics and their decision procedures: part I: an interval logic
Theoretical Computer Science
Semantics and verification of action diagrams with linear timing
ACM Transactions on Design Automation of Electronic Systems (TODAES)
A proposal for context-specific method engineering
Proceedings of the IFIP TC8, WG8.1/8.2 working conference on method engineering on Method engineering : principles of method construction and tool support: principles of method construction and tool support
A proposal for a scenario classification framework
Requirements Engineering
Time-based expressivity of timed Petri nets for system specification
Theoretical Computer Science
The unified software development process
The unified software development process
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
Journal of the ACM (JACM)
Absolute versus relative time in process algebras
Information and Computation - Special issue on EXPRESS 1997
Guest Editorial: A Review of Worst-Case Execution-TimeAnalysis
Real-Time Systems - Special issue on worst-case execution-time analysis
An algebraic framework for urgency
Information and Computation
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Embedded UML: a merger of real-time UML and co-design
Proceedings of the ninth international symposium on Hardware/software codesign
CREWS-SAVRE: Scenarios for Acquiring and Validating Requirements
Automated Software Engineering
Timing Analysis for Fixed-Priority Scheduling of Hard Real-Time Systems
IEEE Transactions on Software Engineering
Transitions as Interrupts: A New Semantics for Timed Statecharts
TACS '94 Proceedings of the International Conference on Theoretical Aspects of Computer Software
Timed and Stochastic Petri Nets: From the Validation to the Performance of Synchronization Schemes
International Workshop on Timed Petri Nets
An Enhanced Version of Timed LOTOS and its Application to a Case Study
FORTE '93 Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, VI
LOTOS-like Process Algebras with Urgent or Timed Interactions
FORTE '91 Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, IV
An Automata Based Interpretation of Live Sequence Charts
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Timed and Hybrid Statecharts and Their Textual Representation
Proceedings of the Second International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Graphical Formalization of Real-Time Requirements
FTRTFT '96 Proceedings of the 4th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Retiming Techniques for Statecharts
FTRTFT '96 Proceedings of the 4th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Specifying Concurrent System Behavior and Timing Constraints Using OCL and UML
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Timing Analysis of UML Activity Diagrams
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
A UML Profile for Real-Time Constraints with the OCL
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
IF: A Validation Environment for Timed Asynchronous Systems
CAV '00 Proceedings of the 12th International Conference on Computer Aided Verification
An Overview and Synthesis on Timed Process Algebras
Proceedings of the Real-Time: Theory in Practice, REX Workshop
From Scenarios to Timed Automata: Building Specifications from Users Requirements
APSEC '95 Proceedings of the Second Asia Pacific Software Engineering Conference
Specification of Real-Time Properties for UML Models
HICSS '02 Proceedings of the 35th Annual Hawaii International Conference on System Sciences (HICSS'02)-Volume 9 - Volume 9
RTSS '97 Proceedings of the 18th IEEE Real-Time Systems Symposium
Automatic Implementation of Real-Time Object-Oriented Models and Schedulability Issues
WORDS '01 Proceedings of the Sixth International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS'01)
Automatic Synthesis of Multi-Tasking Implementations from Real-Time Object-Oriented Models
ISORC '00 Proceedings of the Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
Playing with Time: On the Specification and Execution of Time-Enriched LSCs
MASCOTS '02 Proceedings of the 10th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems
Events and Constraints: A Graphical Editor for Capturing Logic Requirements of Programs
RE '01 Proceedings of the Fifth IEEE International Symposium on Requirements Engineering
ANALYSIS OF ASYNCHRONOUS CONCURRENT SYSTEMS BY TIMED PETRI NETS
ANALYSIS OF ASYNCHRONOUS CONCURRENT SYSTEMS BY TIMED PETRI NETS
Clocked Transition Systems
Timing Analysis of Message Sequence Charts
Timing Analysis of Message Sequence Charts
Modeling Languages: Syntax, Semantics and All That Stuff, Part I: The Basic Stuff
Modeling Languages: Syntax, Semantics and All That Stuff, Part I: The Basic Stuff
A study of the recoverability of computing systems.
A study of the recoverability of computing systems.
Towards a UML profile for QoS: a contribution in the reliability domain
WOSP '04 Proceedings of the 4th international workshop on Software and performance
TURTLE: A Real-Time UML Profile Supported by a Formal Validation Toolkit
IEEE Transactions on Software Engineering
An Environment for Use Cases based Requirements Engineering
RE '04 Proceedings of the Requirements Engineering Conference, 12th IEEE International
The Formal, Tool Supported Development of Real Time Systems
SEFM '04 Proceedings of the Software Engineering and Formal Methods, Second International Conference
Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems
Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems
An ASM Operational Semantics for Use Case Maps
RE '05 Proceedings of the 13th IEEE International Conference on Requirements Engineering
A Scenario-Matching Approach to the Description and Model Checking of Real-Time Properties
IEEE Transactions on Software Engineering
A Formal Semantics of Timed Activity Diagrams and its PROMELA Translation
APSEC '05 Proceedings of the 12th Asia-Pacific Software Engineering Conference
Telecommunications Systems - Modeling, analysis, design and management
A comparative survey of scenario-based to state-based model synthesis approaches
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
A UML profile for dependability analysis of real-time embedded systems
WOSP '07 Proceedings of the 6th international workshop on Software and performance
Validating timed UML models by simulation and verification
International Journal on Software Tools for Technology Transfer (STTT) - Special Section on Specification and Validation of Models of Real Time and Embedded Systems with UML
International Journal on Software Tools for Technology Transfer (STTT) - Special Section on Specification and Validation of Models of Real Time and Embedded Systems with UML
Timed Behavior Trees and Their Application to Verifying Real-Time Systems
ASWEC '07 Proceedings of the 2007 Australian Software Engineering Conference
Graphical scenarios for specifying temporal properties: an automated approach
Automated Software Engineering
Multiform Time in UML for Real-time Embedded Applications
RTCSA '07 Proceedings of the 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications
Timed Behavior Trees for Failure Mode and Effects Analysis of time-critical systems
Journal of Systems and Software
Formal semantics and verification of use case maps
Formal semantics and verification of use case maps
A Timed Extension of Property Sequence Chart
HASE '08 Proceedings of the 2008 11th IEEE High Assurance Systems Engineering Symposium
An interval-based representation of temporal knowledge
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 1
On Message Specifications in OCL
Electronic Notes in Theoretical Computer Science (ENTCS)
A Dual Language Approach to the Development of Time-Critical Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Expression of time and duration constraints in SDL
SAM'02 Proceedings of the 3rd international conference on Telecommunications and beyond: the broader applicability of SDL and MSC
An extension for MSC-2000 and its application
SAM'02 Proceedings of the 3rd international conference on Telecommunications and beyond: the broader applicability of SDL and MSC
Timed sequence diagrams and tool-based analysis: a case study
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Timing analysis of UML sequence diagrams
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Formal verification of use case maps with real time extensions
SDL'07 Proceedings of the 13th international SDL Forum conference on Design for dependable systems
A taxonomy for scenario use in requirements elicitation and analysis of software systems
ECBS'99 Proceedings of the 1999 IEEE conference on Engineering of computer-based systems
Matching scenarios with timing constraints
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
Annotating UML models with non-functional properties for quantitative analysis
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Abstract operational semantics for use case maps
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Timed high-level message sequence charts for real-time system design
SAM'06 Proceedings of the 5th international conference on System Analysis and Modeling: language Profiles
SAM'06 Proceedings of the 5th international conference on System Analysis and Modeling: language Profiles
Synchronization in digital system design
IEEE Journal on Selected Areas in Communications
ACM Computing Surveys (CSUR)
Hi-index | 0.00 |
There is a general consensus on the importance of good Requirements Engineering (RE) for achieving high quality software. The modeling and analysis of requirements have been the main challenges during the development of complex systems. Although semi-formal, scenario driven approaches have raised the awareness and use of requirement engineering techniques, mostly because of their intuitive representation. Scenarios are a well established approach to describe functional requirements, uncovering hidden requirements and trade-offs, as well as validating and verifying requirements. The ability to perform quantitative analysis at the requirements level supports the detection of design errors during the early stages of a software development life cycle, and helps reduce the cost of later redesign activities. In order to achieve this goal, non-functional aspects and in particular time-related aspects have to be incorporated at the software requirement phase. This is essential in order to correctly model and analyze time dependent applications at early stages in system development. The widespread interest in time modeling and analysis techniques provides the major motivation for our paper. The objective of the article is to provide readers with sufficient knowledge about existing timed scenario approaches to guide them in making informed decisions to when and how time aspects can be incorporated in their development process. In order to support this process, we present a comprehensive classification, evaluation and comparison of time-based scenario notations. In order to evaluate these existing notations, we introduce a set of eleven time-related criteria and apply them to categorize and compare forty seven scenario construction approaches.