Recent developments have shown the need for an integrated view of the large scale software development environment that takes account of the artifacts and the way they are produced. To ful ll these requirements, the activities as well as software objects in development and maintenance must be managed. We describe in this paper the work that we are carrying out in order to support a software pro...

The Unified Modeling Language has become a widespread notation for conceptual modeling, and it currently provides a number of extensibility mechanisms to tailor it to specialized modeling issues. Some extensions have been proposed to extend the UML for fuzzy modeling, but without explicitly considering strict additivity and semantic compatibility with the original specification. In this paper, ...

The Abstract Behavioral Specification (ABS) language is a formal, executable, object-oriented, concurrent modeling language intended for behavioral modeling of complex software systems that exhibit a high degree of variation, such as software product lines. We give an overview of the architectural aspects of ABS: a feature-driven development workflow, a formal notion of deployment components fo...

Message Sequence Chart (MSC) is a formal language widely used in industry for requirement specifications. In this paper, we propose a stochastic extension to MSC and this extend version of the MSC language is called Stochastic Message Sequence Charts (SMSC). Compared with MSC, SMSC is suitable for performance modeling and analysis. We integrated the SMSC language into the Möbius framework, whic...

Integrated environmental modeling enables the development of comprehensive simulations by compositing individual models within and across disciplines. The Simple Script Wrapper (SSW), developed here, provides a foundation for model linkages and integrated studies. The Open Modeling Interface (OpenMI) enables model integration but it is challenging to incorporate scripting languages commonly use...

In the last few decades, technological progress has been made important information systems that require high security, Use safe and efficient methods for protecting their privacy. It is a major challenge to Protecting vital data and the ability to threaten attackers. And this has made it important and necessary to be sensitive to the authentication and identify of individuals in confidential n...

In the last few decades, technological progress has been made important information systems that require high security, Use safe and efficient methods for protecting their privacy. It is a major challenge to Protecting vital data and the ability to threaten attackers. And this has made it important and necessary to be sensitive to the authentication and identify of individuals in confidential n...

STEP, or ISO 10303, is a unique and innovative solution to the problem of product data representation and communication. This paper focuses on information modeling in STEP. The data description language EXPRESS is presented, along with a discussion on the modeling of information rather than just data. The process for the construction of Integrated Resources and Application Protocols, STEP's inf...

This paper proposes cross-lingual language modeling for transcribing source resourcepoor languages and translating them into target resource-rich languages if necessary. Our focus is to improve the speech recognition performance of low-resource languages by leveraging the language model statistics from resource-rich languages. The most challenging work of cross-lingual language modeling is to s...

While MOF constitutes a standardized and widely accepted language for formally defining a modeling language’s abstract syntax, no standardized language for specifying its behavioral semantics exists. This impedes the efficient development of tools which build upon the behavioral semantics of modeling languages, such as model interpreters, debuggers, and testing environments. To address this sho...