The Z notation: a reference manual
The Z notation: a reference manual
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Role-Based Access Control Models
Computer
Objects, components, and frameworks with UML: the catalysis approach
Objects, components, and frameworks with UML: the catalysis approach
On the criteria to be used in decomposing systems into modules
Communications of the ACM
Computer
VLHCC '05 Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing
A graph-based approach to modeling and detecting composition conflicts related to introductions
Proceedings of the 6th international conference on Aspect-oriented software development
International Journal on Software Tools for Technology Transfer (STTT) - Special Section on Fundamental Approaches to Software Engineering
Frameworks Based on Templates for Rigorous Model-driven Development
Electronic Notes in Theoretical Computer Science (ENTCS)
CSP parallel composition of aspect models
Proceedings of the 2008 AOSD workshop on Aspect-oriented modeling
Aspect-oriented multi-view modeling
Proceedings of the 8th ACM international conference on Aspect-oriented software development
Diagrammatic Formal Specification of a Configuration Control Platform
Electronic Notes in Theoretical Computer Science (ENTCS)
Model Transformation From VisualOCL to OCL Using Graph Transformation
Electronic Notes in Theoretical Computer Science (ENTCS)
The semantics of augmented constraint diagrams
Journal of Visual Languages and Computing
VCL, a visual language for modelling software systems formally
Diagrams'10 Proceedings of the 6th international conference on Diagrammatic representation and inference
Crisis management systems: a case study for aspect-oriented modeling
Transactions on aspect-oriented software development VII
An object-oriented structuring for z based on views
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
Model-driven monitoring: an application of graph transformation for design by contract
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Directives for composing aspect-oriented design class models
Transactions on Aspect-Oriented Software Development I
Building VCL models and automatically generating Z specifications from them
FM'11 Proceedings of the 17th international conference on Formal methods
Aspect-oriented model development at different levels of abstraction
ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
Aspect-oriented model-driven code generation: A systematic mapping study
Information and Software Technology
Hi-index | 0.00 |
Software systems are becoming larger and more complex. By tackling the modularisation of crosscutting concerns, aspect orientation draws attention to modularity as a means to address the problems of scalability, complexity and evolution in software systems development. Aspect-oriented modelling (AOM) applies aspect-orientation to the construction of models. Most existing AOM approaches are designed without a formal semantics, and use multi-view partial descriptions of behaviour. This paper presents an AOM approach based on the Visual Contract Language (VCL): a visual language for abstract and precise modelling, designed with a formal semantics, and comprising a novel approach to visual behavioural modelling based on design by contract where behavioural descriptions are total. By applying VCL to a large case study of a car-crash crisis management system, the paper demonstrates how modularity of VCL's constructs, at different levels of granularity, help to tackle complexity. In particular, it shows how VCL's package construct and its associated composition mechanisms are key in supporting separation of concerns, coarse-grained problem decomposition and aspect-orientation. The case study's modelling solution has a clear and well-defined modular structure; the backbone of this structure is a collection of packages encapsulating local solutions to concerns.