Systematic software development using VDM
Systematic software development using VDM
The Z notation: a reference manual
The Z notation: a reference manual
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 software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
Formal Object-Oriented Development
Formal Object-Oriented Development
Open Multithreaded Transactions: Keeping Threads and Exceptions under Control
WORDS '01 Proceedings of the Sixth International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS'01)
Open Multithreaded Transactions: A Transaction Model for Concurrent Object-Oriented Programming
Open Multithreaded Transactions: A Transaction Model for Concurrent Object-Oriented Programming
The Larch Family of Specification Languages
IEEE Software
From use cases to system operation specifications
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Towards a UML profile for software architecture descriptions
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
A UML Profile for Real-Time Constraints with the OCL
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Using OCL and UML to Specify System Behavior
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
Contextual information management using contract: based workflow
Proceedings of the 2nd conference on Computing frontiers
Toward a formal model for component interfaces for real-time systems
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
Addressing concurrency in object-oriented software development
CASCON '06 Proceedings of the 2006 conference of the Center for Advanced Studies on Collaborative research
International Journal of Knowledge-based and Intelligent Engineering Systems - Selected papers from the KES2004 conference
Generating CAM aspect-oriented architectures using Model-Driven Development
Information and Software Technology
An evaluation of timed scenario notations
Journal of Systems and Software
A Dual Language Approach to the Development of Time-Critical Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Model-driven development for early aspects
Information and Software Technology
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
Transactions on aspect-oriented software development IV
| Hi-index | 0.00 |
Despite advances in implementation technologies for distributed systems during the last few years, little attention has been given to distributed systems within software development methodologies. The contribution of this paper is a UML-based approach for specifying concurrent behavior and timing constraints-- often inherent characteristics of distributed systems. We propose a novel approach for specifying concurrent behavior of reactive systems in OCL and several constructs for precisely describing timing constraints on UML statemachines.More precisely, we show how we enriched operation schemas--pre- and postcondition assertions of system operations written in OCL--by extending the current calculus with constructs for asserting synchronization on shared resources. Also, we describe how we use new and existing constructs for UML statemachines to specify timing constraints on the system interface protocol (SIP)--a restricted form of UML protocol statemachine. Finally, we discuss how both the extended system operation and SIP models are complementary.