Tentative steps toward a development method for interfering programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Handbook of theoretical computer science (vol. B)
Object-oriented development: the fusion method
Object-oriented development: the fusion method
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Objects, components, and frameworks with UML: the catalysis approach
Objects, components, and frameworks with UML: the catalysis approach
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
On optimistic methods for concurrency control
ACM Transactions on Database Systems (TODS)
An axiomatic basis for computer programming
Communications of the ACM - Special 25th Anniversary Issue
Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and the Unified Process
Designing Concurrent, Distributed, and Real-Time Applications with Uml
Designing Concurrent, Distributed, and Real-Time Applications with Uml
Foundations of Parallel and Distributed Programming
Foundations of Parallel and Distributed Programming
The Science of Programming
A Discipline of Programming
The Java Language Specification
The Java Language Specification
Transaction Processing: Concepts and Techniques
Transaction Processing: Concepts and Techniques
Specifying Concurrent System Behavior and Timing Constraints Using OCL and UML
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
The Object Constraint Language: Getting Your Models Ready for MDA
The Object Constraint Language: Getting Your Models Ready for MDA
Open Multithreaded Transactions: A Transaction Model for Concurrent Object-Oriented Programming
Open Multithreaded Transactions: A Transaction Model for Concurrent Object-Oriented Programming
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Hi-index | 0.00 |
E-business software systems are typically incorporated in complex concurrent and interacting business activities. Understanding the concurrent and interactive demands of the environment and tracing these requirements down to implementation is an important and necessary part of developing these types of systems. In this paper, we illustrate how concurrency concerns can be integrated in a UML-based software development method, and how these concerns can be incrementally refined from requirements to implementations. Our proposed approach not only offers a much needed holistic approach to concurrency in software development, but it also offers some novel techniques to describe concurrency concerns at each level of UML description.