The concentrate of all earlier period programming experience and innovations for writing high-quality programs in cost effective and proficient ways have been systematically organized into body of knowledge. This comprehension forms the foundation of the software engineering principles. Software engineering discusses methodical and cost effective techniques to software growth. Agent Oriented So...

Technological progress in recent years the Cyber-Physical Systems (CPSs) area has given designers unprecedented possibilities and computational power, but as a consequence, modeled CPSs are becoming increasingly complex, hierarchical, concurrent. Therefore, new methods of design (especially using abstract modeling) needed. The paper presents an approach to CPS control part modeling state machin...

Core Product Model (CPM) was developed at NIST as a high level abstraction for representing product related information, to support data exchange, in a distributive and a collaborative environment. In this paper, we extend the CPM to components with continuously varying material properties. Such components are becoming increasing important and popular due to progress in design, analysis and man...

This paper describes an approach for automatically generating system tests from behavioral models of an application using the Unified Modeling Language (UML.) The proposed approach builds on and combines existing techniques for data coverage and graph coverage. It first consists of using the Category-Partition method to introduce data into the UML model. UML Use Cases and Activity diagrams are ...

The Unified Modeling Language (UML) is the industry standard for modeling. With its recent advancement to version 2.0, there have been large amounts of changes and additions. In this paper I study some new features with a view to formal specification and verification, in particular the operators neg and assert, and notions of refinement based upon them.

Data fusion is an important component of applications for systems that use correlated data from multiple sources to determine the state of a system. As the state of the system being monitored and available resources change, the general data fusion framework should change dynamically based on the current environment and available resources in the system. To achieve this goal, we have proposed a ...

The purpose with this document is to provide a brief introduction to the Unified Modeling Language (UML) for usage in the jointly held course in distributed development in Västerås and Zagreb. The focus is on using UML in general, not in combination with a particular tool, problem domain or programming technique. UML has intentionally been developed as a langue for modeling objectoriented syste...

The Unified Modeling Language (UML) allows the description of complex discrete devices in a clear understandable manner. After the mapping of such a high level model to a basically tested programmable hardware, the test of the special behavior arises. This paper introduces the object oriented modeling of discrete devices by UML, shows the model transfer between the CASE tool and the test tool b...

In this paper, we present a multi-formalism modeling framework (abbreviated by MFMF) for modeling and simulation. The proposed framework is defined based on the concepts of meta-models and uses object-orientation to overcome the complexities and to enhance the extensibility. The framework can be used as a basis for modeling by various formalisms and to support model composition in a unified man...