Paper Info
Title
Specifying Concurrent System Behavior and Timing Constraints Using OCL and UML
Abstract
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.
Year
DOI
Venue
2001
10.1007/3-540-45441-1_29
Uml
Keywords
Field
DocType
sip model,system operation,reactive system,concurrent behavior,uml-based approach,uml statemachines,uml protocol statemachine,timing constraint,extended system operation,concurrent system behavior,system interface protocol,distributed system,state machine,object constraint language,unified modeling language,schema,software development methodology,ocl,software systems,concurrent programming,uml
Programming language,Unified Modeling Language,UML tool,Concurrency,Computer science,Applications of UML,Concurrent computing,Object Constraint Language,Reactive system,Postcondition
Conference
ISBN
Citations 
PageRank 
3-540-42667-1
20
1.29
References 
Authors
7
2
Name
Order
Citations
PageRank
Shane Sendall143027.35
Alfred Strohmeier238358.10