Petri nets: an introduction
Object-oriented development in an industrial environment
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Completeness, robustness, and safety in real-time software requirements specifications: a logical positivist looks at requirements engineering
Communication and concurrency
Inquiry-Based Requirements Analysis
IEEE Software
Formal Approach to Scenario Analysis
IEEE Software
Elements of ML programming
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
A formal approach to scenario integration
Annals of Software Engineering
Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets
IEEE Transactions on Software Engineering
An Integrated Formal Model of Scenarios Based on Statecharts
Proceedings of the 5th European Software Engineering Conference
Modular State Space Analysis of Coloured Petri Nets
Proceedings of the 16th International Conference on Application and Theory of Petri Nets
Hierarchies in coloured Petri nets
Proceedings of the 10th International Conference on Applications and Theory of Petri Nets: Advances in Petri Nets 1990
Coloured Petri Nets Extended with Channels for Synchronous Communication
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
Modular Verification of Petri Nets: The Temporal Logic Approach
Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop
An Approach Based on the Concept of Use Case to Produce Dynamic Object-Oriented Specifications
RE '97 Proceedings of the 3rd IEEE International Symposium on Requirements Engineering
Object-Oriented Software Engineering: A Use Case Driven Approach
Object-Oriented Software Engineering: A Use Case Driven Approach
Automatic Generation of Use Cases from Workflows: A Petri Net Based Approach
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Consistency in model integration
Data & Knowledge Engineering - Special issue: Business process management
Automatic Synthesis Of Behavioral Object Specifications From Scenarios
Journal of Integrated Design & Process Science
On Generating EFSM Models from Use Cases
SCESM '07 Proceedings of the Sixth International Workshop on Scenarios and State Machines
Requirements Modeling and Validation Using Bi-layer Use Case Descriptions
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Verification of Use Case with Petri Nets in Requirement Analysis
ICCSA '09 Proceedings of the International Conference on Computational Science and Its Applications: Part II
An enactment-engine based on use-cases
BPM'07 Proceedings of the 5th international conference on Business process management
Modular development and verification of domain requirements via model checking
Proceedings of the 48th Annual Southeast Regional Conference
Functional and non-functional requirements specification for enterprise applications
PROFES'05 Proceedings of the 6th international conference on Product Focused Software Process Improvement
Hi-index | 0.00 |
It is well known that requirements engineering plays a critical role in software quality. The use case approach is a requirements elicitation technique commonly used in industrial applications. Software requirements are stated as a collection of use cases, each of which is written in the user's perspective and describes a specific flow of events in the system. The use case approach offers several practical advantages in that use case requirements are relatively easy to describe, understand, and trace. Unfortunately, there are a couple of major drawbacks. Since use cases are often stated in natural languages, they lack formal syntax and semantics. Furthermore, it is difficult to analyze their global system behavior for completeness and consistency, partly because use cases describe only partial behaviors and because interactions among them are rarely represented explicitly. In this paper, we propose the Constraints-based Modular Petri Nets(CMPNs) approach as an effective way to formalize the informal aspects of use cases. CMPNs, an extension of Place/Transition nets, allow the formal and incremental specification of requirements. The major contributions of our paper, in addition to the formal definitions of CMPNs, are the development of: 1) a systematic procedure to convert use cases stated in natural language to a CMPN model; and 2) a set of guidelines to find inconsistency and incompleteness in CMPNs. We demonstrate an application of our approach using use cases developed for telecommunications services.