Abstract: UML may be used to describe both the structure and behavior of objectoriented systems using a combination of notations. For the modeling of the dynamic behavior, a number...
Semantic Web Services facilitate activities including automatic discovery and composition of Web Services. Research initiatives such as WSMO have been developing specifications fo...
Making a database system active entails developing an expressive event specification language with well-defined semantics, algorithms for the detection of composite events, and an...
Sharma Chakravarthy, V. Krishnaprasad, Eman Anwar,...
Dynamics are an important aspect of agent models. Control of dynamics requires specific methods of specification that have their own specific semantics. This paper addresses speci...
Frances M. T. Brazier, Catholijn M. Jonker, Jan Tr...
This paper is concerned with compositional specification of services using UML 2 collaborations, activity and interaction diagrams. It addresses the problem of realizability: give...