Nidhi Devgun

… , 1998. Proceedings. 2nd IEEE Workshop on, Jan 1, 1998

The Unified Modeling Language (UML) is likely to become an important industry standard language f... more The Unified Modeling Language (UML) is likely to become an important industry standard language for modelling object-oriented systems. However, its use as a precise analysis tool is limited due to a lack of precise semantics and practical analysis techniques. This paper proposes a rigorous analysis technique for UML based on the use of diagrammatical transformations. A precise description of a subset of UML class diagrams is presented. This is then used to identify a number of deductive transformations on class diagrams. Conditions for checking the soundness of the rules are also given. Because the reasoning system is based on the manipulation of diagrams, it is proposed that they can be successfully used by practitioners without recourse to complex linguistic proof techniques.

Download

Object-oriented software engineering

Download

Developing multiagent systems with agenttool

… , ATAL 2000, Boston, MA, USA, July 7-9, …, Jan 1, 2001

The advent of multiagent systems has brought together many disciplines and given us a new way to ... more The advent of multiagent systems has brought together many disciplines and given us a new way to look at intelligent, distributed systems. However, traditional ways of thinking about and designing software do not fit the multiagent paradigm. This paper describes the Multiagent Systems Engineering (MaSE) methodology and agentTool, a tool to support MaSE. MaSE guides a designer from an initial system specification to implementation by guiding the designer through a set of inter-related graphically based system models. The underlying formal syntax and semantics of clearly and unambiguously ties them together as envisioned by MaSE.

Download

Uploads

Papers by Nidhi Devgun

Log In