An algebraic framework for the transformation of attributed graphs
Term graph rewriting
Hypergraph rewriting: critical pairs and undecidability of confluence
Term graph rewriting
Object-oriented development: the fusion method
Object-oriented development: the fusion method
A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification
IEEE Transactions on Software Engineering
Fundamenta Informaticae - Special issue on graph transformations
Algebraic approaches to graph transformation. Part I: basic concepts and double pushout approach
Handbook of graph grammars and computing by graph transformation
Objects, components, and frameworks with UML: the catalysis approach
Objects, components, and frameworks with UML: the catalysis approach
The unified software development process
The unified software development process
Consistency checking for multiple view software architectures
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Requirements engineering in the year 00: a research perspective
Proceedings of the 22nd international conference on Software engineering
Integrating UML diagrams for production control systems
Proceedings of the 22nd international conference on Software engineering
Software Engineering Economics
Software Engineering Economics
View Integration: A Step Forward in Solving Structural Conflicts
IEEE Transactions on Knowledge and Data Engineering
TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations
On Use Cases and Their Relationships in the Unified Modelling Language
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Strengthening UML Collaboration Diagrams by State Transformations
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
LSCs: Breathing Life into Message Sequence Charts
Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
A Formal Semantics of UML State Machines Based on Structured Graph Transformation
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Synthesizing State-Based Object Systems from LSC Specifications
Synthesizing State-Based Object Systems from LSC Specifications
On the extension of UML with use case maps concepts
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Confluence of Typed Attributed Graph Transformation Systems
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Relating functional requirements and software architecture: separation and consistency of concerns
Journal of Software Maintenance: Research and Practice - Special issue: Separation of concerns for software evolution
Symbolic model checking of UML activity diagrams
ACM Transactions on Software Engineering and Methodology (TOSEM)
Research Directions in Requirements Engineering
FOSE '07 2007 Future of Software Engineering
On Generating EFSM Models from Use Cases
SCESM '07 Proceedings of the Sixth International Workshop on Scenarios and State Machines
Getting 'Whole Picture' Behavior In A Use Case Model
Journal of Integrated Design & Process Science
Iterative model-driven development of adaptable service-based applications
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs
Electronic Notes in Theoretical Computer Science (ENTCS)
An Efficient Solution for Model Checking Graph Transformation Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
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
Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Tool support for more precise use case specifications
Proceedings of the Warm Up Workshop for ACM/IEEE ICSE 2010
Object Flow Definition for Refined Activity Diagrams
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Analysis of Aspect-Oriented Model Weaving
Transactions on Aspect-Oriented Software Development V
Dependent and Conflicting Change Operations of Process Models
ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
Ontology-Based Requirements Conflicts Analysis in Activity Diagrams
ICCSA '09 Proceedings of the International Conference on Computational Science and Its Applications: Part II
Automatic analysis of requirements consistency with the B method
ACM SIGSOFT Software Engineering Notes
Incremental resolution of model inconsistencies
WADT'06 Proceedings of the 18th international conference on Recent trends in algebraic development techniques
A formal framework for developing adaptable service-based applications
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
ICMT'10 Proceedings of the Third international conference on Theory and practice of model transformations
ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis
FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
A framework for classifying and comparing software architecture tools for quality evaluation
ICCSA'11 Proceedings of the 2011 international conference on Computational science and Its applications - Volume Part V
Detecting and resolving model inconsistencies using transformation dependency analysis
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Automatic conformance testing of web services
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
From graph transformation to software engineering and back
Formal Methods in Software and Systems Modeling
Conflict detection for graph transformation with negative application conditions
ICGT'06 Proceedings of the Third international conference on Graph Transformations
On the use of alloy to analyze graph transformation systems
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Dynamic computation of change operations in version management of business process models
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
Weighted fuzzy clustering for capability-driven service aggregation
Service Oriented Computing and Applications
Using UML stereotypes to support the requirement engineering: a case study
ICCSA'12 Proceedings of the 12th international conference on Computational Science and Its Applications - Volume Part IV
Graph transformations for MDE, adaptation, and models at runtime
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
Applying ontology-based blog to detect information system post-development change requests conflicts
Information Systems Frontiers
Hi-index | 0.00 |
In object-oriented software development, requirements of different stakeholders are often manifested in use case models which complement the static domain model by dynamic and functional requirements. In the course of development, these requirements are analyzed and integrated to produce a consistent overall requirements specification. Iterations of the model may be triggered by conflicts between requirements of different parties.However, due to the diversity, incompleteness, and informal nature, in particular of functional and dynamic requirements, such conflicts are difficult to find. Formal approaches to requirements engineering, often based on logic, attack these problems, but require highly specialized experts to write and reason about such specifications.In this paper, we propose a formal interpretation of use case models consisting of UML use case, activity, and collaboration diagrams. The formalization, which is based on concepts from the theory of graph transformation, allows to make precise the notions of conflict and dependency between functional requirements expressed by different use cases. Then, use case models can be statically analyzed, and conflicts or dependencies detected by the analysis can be communicated to the modeler by annotating the model.An implementation of the static analysis within a graph transformation tool is presented.