The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Model Driven Development (MDD) has emerged as a new road to software development industrialization. The most well-known realization of MDD is the Model Driven Architecture (MDA). The essence of MDA is the metamodel MOF (Meta Object Facility) allowing interoperability of different kind of artifacts from multiple technologies. It is important to formalize and reason about MOF metamodels properly. In...
With the challenges brought by the expansion of network scale, as well as the diversity of the equipments and the complexity of network protocols, many self-configurable systems have been proposed combining formal specification and model finding techniques. In this paper, we pay more attention to formal specifications of network information, i.e., exploring principles and algorithm to map network...
During the development of component-based software systems, it is often impractical or even impossible to include all development information into the source code. Instead, specialized languages are used to describe components and systems on different levels of abstraction or from different viewpoints: Component-based architecture models and contracts, for example, can be used to describe the system...
Transforming informal specifications to formal specifications is an effective approach to clarifying user's requirements. However, how to keep the consistency between the informal specification and the formal specification is a major challenge. In this paper, we propose an inspection method for verifying whether all requirements described in an informal specification are formalized in the corresponding...
Analysis of formally specified Component Based Software (CBS) provides a concrete way to represent the requirements from both system and user. A CASE tool makes a development more powerful and gives a graphical effect by which a user can easily visualize the fact. Powerful CASE tools for CBS are useful to improve the developer productivity and ensure the syntactical correctness of the CBS model for...
Many novel programming models for concurrency have been proposed in the wake of the multicore computing paradigm shift. They aim to raise the level of abstraction for expressing concurrency and synchronization in a program, and hence to help developers avoid programming errors. Because of this goal, the semantics of the models themselves becomes ever more complex, increasing the risk of design flaws...
Good computational model design has always been a key factor in determining whether it will be a successful system. a new approach was proposed to formally specifying and proving the Grid jack computational model design which uses architectural description language WRIGHT together with the process algebra CSP. Formal specification in WRIGHT provides a convenient way to modeling the complex overall...
Aspect-oriented software development (AOSD) has emerged in recent years as a new paradigm for software development, providing mechanisms to localize cross-cutting concerns (i.e. scattered in many locations) during the software development process. Aspect interaction problems (due to their integration into the base components) are an important issue in AOSD, verification is most often based on a detection...
UML sequence diagrams are widely used as a behavioral modeling language for interactive systems for their concise and intuitive expression, especially a few high security systems. However, UML sequence diagrams lack precise formal description of semantics when they are used in modeling of the interactions between objects. To solve the problem, this paper proposes a solution by translating the UML...
Programmable System on Chip (PSoC) devices allow interconnection with a wide range of sensors and actuators. They also can communicate using various network protocols. Therefore, PSoC devices are suitable for deploying distributed embedded systems. Due the complexity of such of systems several modeling technologies are proposed to support development. Resulting models can be also used for simulation...
This article follows a line of papers focused on defining a method to improve the realization of reliability analysis during the System Engineering process. As MBSE becomes a fundamental concept for specifying and designing systems, our method takes full advantages of this approach and try to provide tools to ease the specification stage and the integration of RAMS early in the conception process...
The Unified Modeling Language (UML) provides a graphical notation to express the design of object-oriented software systems and has become the de facto industry standard for software design. However UML lacks precise semantics and is semi-formal. Formal specification languages are intended to provide precise and complete models for proposed software systems. Many researchers have done a lot of work...
In order to provide a rational reliability evaluation and allocation method with low development cost and testing cost for object- oriented systems, this paper discusses how to obtain the execution probability of system objects by the analysis of UML models, how to evaluate and allocate object reliability by using ant colony algorithm according to specific probability, and how to obtain the reliability...
Based on research on currently prevalent WEB application project attributes and analysis on the influence factors on development effort of the project, an estimation methodology based on page is present, in which, when the user WEB pages DEMO developed after requirements development, project effort can be estimated by evaluating pages' complexity and corresponding team productivity which can be obtained...
The recent and rapid advances in hardware have led to an explosion of real-time and concurrent applications, especially real-time control system applications. This, in turn, requires practical software development with new technologies such as Object- Oriented Analysis and Design (OOAD), Model-Driven Development (MDD) with the Unified Modeling Language (UML) as the principle modeling language. In...
In a customer driven environment, systems pose a great challenge to designers in terms of complexity and time-to-market. Thus, designers have to look at Commercial-Off-The-Shelf (COTS) based development techniques that rely on integrating components produced by various manufacturers. However, the vast range of components from various manufacturers leads to obscurity of interfaces between them, making...
Today, a wide range of standards and tools in process industries causes gaps between different domains dealing with properties. Properties serve as objects contributing to the formal description of other objects, for example plant elements. We present a metamodel of property management which is able to close many gaps. It contains all model entities that are required for property modeling, standardization,...
State charts is widely used as a behavioral modeling language for reactive systems for its concise and intuitive expression, especially a few high security system. However, the lack of formal semantics makes it difficult to analyze and validate the system which it described. The paper proposed a formalization method based on temporal description logic. Firstly, temporal description logic (TDLs) is...
Requirement analysis is the preliminary step in software development process. The requirements stated by the clients are analyzed and an abstraction of it is created which is termed as requirements model. Unified Modeling Language (UML) models are helpful for understanding the problems, communicating with application experts and preparing documentation. The static design view of the system can be...
With the advent of languages and tools dedicated to model-driven engineering (e.g., ATL, Kermeta, EMF), as well as reference metamodels (MOF, Ecore), model-driven development processes can be used easily. However, the maturity of a software engineering technology should be evaluated by the degree of use of trace ability practices. One of the first major challenges consists in generating automatically...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.