Systems application architecture: common user access
Systems application architecture: common user access
The use of scenarios in design
ACM SIGCHI Bulletin
Formal Approach to Scenario Analysis
IEEE Software
Automatic synthesis of state machines from trace diagrams
Software—Practice & Experience
Applying OMT: a practical step-by-step guide to using the object modeling technique
Applying OMT: a practical step-by-step guide to using the object modeling technique
Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2
Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2
A tool to support specification and evaluation of context-customized interfaces
ACM SIGCHI Bulletin
Integrating development of task and object models
Communications of the ACM
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
Automating the Synthesis of UML StateChart Diagrams from Multiple Collaboration Diagrams
«UML» '98 Selected papers from the First International Workshop on The Unified Modeling Language «UML»'98: Beyond the Notation
Generating User Interface Prototypes from Scenarios
RE '99 Proceedings of the 4th IEEE International Symposium on Requirements Engineering
Coupling Asynchrony and Interrupts: Place Chart Nets
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Automated Prototyping of User Interfaces Based on UML Scenarios
Automated Software Engineering
Consistency in model integration
Data & Knowledge Engineering - Special issue: Business process 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 case study of coloured Petri nets in object-oriented analysis and design
Nordic Journal of Computing
Automatic Synthesis Of Behavioral Object Specifications From Scenarios
Journal of Integrated Design & Process Science
An extension of UML for the modeling of WIMP user interfaces
Journal of Visual Languages and Computing
Describing use cases with activity charts
MIS'04 Proceedings of the 2004 international conference on Metainformatics
Model-driven rapid prototyping with Umple
Software—Practice & Experience
A business-process-driven approach for generating E-commerce user interface
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Hi-index | 0.00 |
In this paper, we suggest a requirement engineering process that generates a user interface prototype from scenarios and yields a formal specification of the system in form of a high-level Petri net. Scenarios are acquired in the form of sequence diagrams as defined by the Unified Modeling Language (UML), and are enriched with user interface information. These diagrams are transformed into Petri net specifications and merged to obtain a global Petri net specification capturing the behavior of the entire system. From the global specification, a user interface prototype is generated and embedded in a user interface builder environment for further refinement. Based on end user feedback, the input scenarios and the user interface prototype may be iteratively refined. The result of the overall process is a specification consisting of a global Petri net, together with the generated and refined prototype of the user interface.