The Abstract State Machine (ASM) theory is a way to specify algorithms, applications and systems in a formal model. Recent ASM languages and tools address either the translation of ASM specifications to a specific target programming language or aim at the execution in a specific environment. In this work-in-progress paper we outline a modelbased transformation approach supporting (1) the specif...

The Uniied Modeling Language (UML) has been in the past years established as an industry standard for object-oriented model-ing. Its ability, however, to serve as an ee-cient requirements speciication tool is highly debated. In this paper, an attempt is made to present an overview of the language focused on use case modeling, which is the language's technique for capturing the system requiremen...

The need for precise semantics for the OMG standard object-oriented modeling language, Uniied Mod-eling Language (UML), is widely-recognized in the software engineering community. In this paper we propose a framework for developing precise semantics for the UML. Within the framework formal techniques are used to explore the semantic underpinnings of UML constructs and the insights gained are us...

Use-cases are touted as means to manage the complexity of object-oriented software specification. The UML use-case relationships provide the means to organize usecases, which in turn, organize use-case requirements. Analysts, unfortunately, have difficulty in determining the scope of a single use-case, as well as defining its elaborations. In response, we define a goal-directed modeling approac...

We believe that information systems, in order to avoid obsolescence, need to become web-enabled. We have proposed an integrated framework for both Analysis & Design and interoperability of information systems. This framework uses metamodeling in order to propose a new approach to integration of formal methods into modeling processes. We emphasize a systematic use of formal methods –in order to ...

This paper discusses methodological issues related to natural language modeling in the framework of the LRE project ANTHEM 1. The objective of ANTHEM is to develop a portable prototype of a multilingual natural language interface that allows users of Healthcare Information Systems to enter diagnostic expressions using their own natural language, and to have this input translated in whatever for...

Developing reliable yet flexible software is a hard problem. Although modeling methods enjoy a lot of advantages, the exclusive use of just one of them, in many cases, may not guarantee the development of reliable and flexible software. Formal modeling methods ensure reliability because they use a rigorous approach to software development. However, lack of knowledge and high cost practically fo...

Modeling is an essential part of large software projects. The Unified Modeling Language (UML) has become the de-facto standard language for specifying, modeling and documenting software systems, visualizing software systems. The basic innovative ideas of UML, which are the main reasons for its popularity, are the unification of the concepts and notations used in the life-cycle of software devel...

In this survey, we describe the following different aspects of modeling multidimensional point sets (shapes) using real-valued functions of several variables: algebraic system as a formal framework; representation of shapes, operations, and relations using real-valued functions, internal representation of the modeling system; specialized language for function-based modeling, and model extension...

In this paper we present EXPRESS{P, an extension of EXPRESS for process modeling and monitoring. Our extension inherits concepts of the formal languages SDL (CCITT Standard), Estelle (ISO Standard), and GRAPES{86. EXPRESS{P comes with a graphical representation which covers the process modeling. The language is presented in syntactical detail. A nal example sketches the modeling of a client{ser...