Inferring Declarative Requirements Specifications from Operational Scenarios
IEEE Transactions on Software Engineering
Writing Effective Use Cases
Synthesis of Behavioral Models from Scenarios
IEEE Transactions on Software Engineering
Model Checking of Message Sequence Charts
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Generating Annotated Behavior Models from End-User Scenarios
IEEE Transactions on Software Engineering
Model transformations from requirements to web system design
ICWE '06 Proceedings of the 6th international conference on Web engineering
Getting 'Whole Picture' Behavior In A Use Case Model
Journal of Integrated Design & Process Science
A Rigorous Model of Service Component Architecture
Electronic Notes in Theoretical Computer Science (ENTCS)
Existential live sequence charts revisited
Proceedings of the 30th international conference on Software engineering
A Metamodeling Approach for Reasoning about Requirements
ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
Visualization of Use Cases through Automatically Generated Activity Diagrams
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Scenario Analysis: Generation of Possible Scenario Interpretations and their Visualization
REV '09 Proceedings of the 2009 Fourth International Workshop on Requirements Engineering Visualization
Hi-index | 0.00 |
There is a gap between system requirements described with natural language and system design models described with formal language. In this paper, we present a framework for automatically mapping textual use cases to service component models from a model-based point of view. The generated models capture service component signatures and language independent dynamic behaviors. We have implemented our framework and demonstrated the benefits via a case study.