In this paper, we demonstrate feasibility of a development framework that integrates semi-formal graphical modeling techniques with formal methods (FMs). In particular, the framework integrates the Unified Modeling Language (UML) with the PVS environment to exploit the synergy between them. System descriptions are given in the graphical UML notations and translated into PVS specifications based...

Iterative development has become the predominant development approach. While providing several benefits for developers, iterative development makes size and effort estimates more difficult. The main problem is incomplete artifacts between iterations. In this paper an approach that enables early size estimation using Unified Modeling Language (UML) artifacts is presented. The approach incorporat...

The Agentcities network provides an opportunity to test the interoperation of multi-agent systems that are distributed and implemented across a variety of platforms whose only common factor is adherence to the FIPA protocols. In this context we aim to test our agent platform, Opal, which employs some new techniques for agent information exchange that we believe can make agent interaction in het...

The Unified Modeling Language (UML) is the de-facto standard modeling language for the development of software with broad ranges of applications. It supports for modeling a software at different stages during its development: requirement analysis, design and implementation. The use of UML encourages software developers to devote more effort on requirement analysis and modeling to produce better...

This paper presents a Unified Enterprise Modeling Language (UEML) and a set of mappings which support translating models represented under an Enterprise Modeling Language into another Enterprise Modeling Language. These mappings also permit to integrate (i.e.compose) different models represented in different enterprise modeling languages into a unique model. Additionally, UEML is a meta-model t...

Existing research on outsourcing uses several different theoretical perspectives to study outsourcing, including the resource based view, transaction costs analysis, contingency theory and agency theory. While studying a phenomenon from different viewpoints increases our understanding on the subject, we need a consistent theoretical framework to consolidate the ideas generated in the field, com...

In this paper we propose an anisotropic model for 2D fractional noise generated from a Gaussian mixture distribution. We propose two identification methods for this model: the first one is a forward modeling approach based on even order cumulants of the field, while the second one is an inverse modeling approach where the synthesis filter is inverted in order to obtain an estimation of the driv...

Submission to OOPSLA ’99 Workshop on Rigorous Modelling and Analysis with the UML: Challenges and Limitations D.H.Akehurst, A.G.Waters, University of Kent at Canterbury, UK.

We discuss the promises and problems of UML-based development. We then suggest a framework in which UML can be used precisely and more disciplined so as to solve the problems and meet the promises better.