Statecharts: A visual formalism for complex systems
Science of Computer Programming
Subject-oriented composition rules
Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
Composition patterns: an approach to designing reusable aspects
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Communications of the ACM
Handling crosscutting constraints in domain-specific modeling
Communications of the ACM
Modeling Reactive Systems with Statecharts: The Statemate Approach
Modeling Reactive Systems with Statecharts: The Statemate Approach
From Play-In Scenarios to Code: An Achievable Dream
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Extending UML with Aspects: Aspect Support in the Design Phase
Proceedings of the Workshop on Object-Oriented Technology
An approach for supporting aspect-oriented domain modeling
Proceedings of the 2nd international conference on Generative programming and component engineering
MIS '05 Proceedings of the 2005 symposia on Metainformatics
Software customization in model driven development of web applications
Proceedings of the 2007 ACM symposium on Applied computing
Managing software evolution with a formalised abstraction hierarchy
International Journal of Computer Applications in Technology
Exploring Multi-Paradigm Modeling Techniques
Simulation
A pattern story for combining crosscutting concern state machines
Proceedings of the 14th Conference on Pattern Languages of Programs
Aspect-oriented development using protocol modeling
Transactions on aspect-oriented software development VII
Change-based FODA diagrams: bridging the gap between feature-oriented design and implementation
Proceedings of the 2011 ACM Symposium on Applied Computing
Aspect-oriented development using protocol modeling
Transactions on aspect-oriented software development VII
A framework for the integration of MOF-compliant analysis methods
Proceedings of the Second Asia-Pacific Symposium on Internetware
Frameworks for model-driven software architecture
ICCSA'05 Proceedings of the 2005 international conference on Computational Science and Its Applications - Volume Part III
Towards a generic aspect oriented design process
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Dynamic secure aspect modeling with UML: from models to code
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Management of feature interactions with transactional regions
Proceedings of the 11th annual international conference on Aspect-oriented Software Development
A pattern story for combining crosscutting concern state machines
Transactions on Pattern Languages of Programming I
Separation of concerns with transactional regions
SDL'11 Proceedings of the 15th international conference on Integrating System and Software Modeling
Supporting incremental synchronization in hybrid multi-view modelling
MODELS'11 Proceedings of the 2011th international conference on Models in Software Engineering
Domain-Specific multi-modeling of security concerns in service-oriented architectures
WS-FM'11 Proceedings of the 8th international conference on Web Services and Formal Methods
Introducing variability into aspect-oriented modeling approaches
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Joinpoint inference from behavioral specification to implementation
ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming
Aspect-oriented model-driven code generation: A systematic mapping study
Information and Software Technology
Aspect interaction chart - a UML approach for modularizing aspect interaction conflicts
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Integrating protocol modelling into reusable aspect models
Proceedings of the 5th ACM SIGCHI Annual International Workshop on Behaviour Modelling - Foundations and Applications
A taxonomy for requirements engineering and software test alignment
ACM Transactions on Software Engineering and Methodology (TOSEM)
| Hi-index | 0.00 |
Separation of Concerns is one of the software engineering design principles that is getting more attention from practitioners and researchers in order to promote design and code reuse. Separation of Concerns (SoC) separates requirements such as synchronization and scheduling from the core functionality. These requirements are often referred to as crosscutting-concerns. The implementation of such requirements is scattered throughout the system, which results in the code-tangling problem. Aspect Oriented Programming provides the user with the ability to modularize, and weave crosscutting-concerns in order to maximize code reusability and solves the code-tangling problem. Weaving is the process of combining crosscutting concerns with the core functionality. Using the UML to model and interweave these concerns is a craft that is hard to master due to the lack of formal modeling techniques based on SoC. In this paper we present a formal design methodology to model the system's concerns based on aspect-orientation.