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.
Distributed parallel computing platform performs well in processing big data. However, due to the platform's complexity and distributed characteristics, it is hard to design and achieve. For example, during the platform's design phase, variations are unpredictable. To address these issues, a highly structured object-oriented framework for systematic modeling, which has high flexibility, reusability...
Cloud computing, as a kind of internet-based computing, has to entrust data which are managed by external parties on remote servers. One of the critical security challenges on cloud computing is to ensure data security and privacy. In order to perform rigorous formal analysis for cloud-based applications, we use UML, an industry-adopted modeling language to build an abstraction of a system. In this...
This paper presents the SIEGMAS system (Stakeholders Interactions in Environmental Governance by a Multi-Agent System) designed to simulate interactions between stakeholders in common pool resources in Indian Ocean Islands. This decision support system tool is based on a model allowing the study of the interactions between agents acting on a territory and influenced by economic aspects thanks to an...
UML2 sequence diagrams are interaction diagrams which have been used largely to model the behaviour of objects interaction in systems. These diagrams suffer from lack of precise semantics due to the semi-formal nature of the UML notation. This problem hinders the automatic analysis and verification of such diagrams. Process algebras have been used largely in order to deal with such problem. In this...
Transforming a software functional model that describes the underlying application to a concurrency model is considered as a critical issue in the model-based approaches for Real-Time Embedded Systems (RTES) development process. The formal methods have proven to be useful for making the development process reliable at a high abstraction level. Based on this approach, this current research proposes...
In a ubiquitous computing, disable users are required to accommodate their particular needs using interactive systems. Thus, ensuring accessibility into applications' user interfaces is highly recommended. Hence, it is crucial to elaborate a generic solution which is compliant to handicapped user requirements. Therefore, this paper is addressed to define a model driven approach for generating adapted...
Object Constraint Language (OCL) can be used to express domain model constraints. Those related to a single object are easy to implement. However, when a constraint depends on the state of more than one object (domain and class constraints) the problem turns much more complicated. Developers must deal with several difficulties: how to write the invariant check, when to execute the constraint verification,...
Version control (VC) and Software Product Line Engineering (SPLE) are two software engineering disciplines to manage variability in time and variability in space. In this paper, a thorough comparison of VC and SPLE is provided, showing that both disciplines imply a number of desirable properties. As a proof of concept for the combination of VC and SPLE, we present SuperMod, a tool realizes an existing...
Elastic systems utilize both human and machine working units to accomplish tasks that are eligible for crowdsourcing. The quality in the results of work completed by either type of computing unit is tantamount on the characteristics they bear. In this paper we draw parallels from our previous work into looking at the suitability of working units in completing viable tasks in crowdsourcing. We seek...
Recently, educational games are gaining increasing attention from researchers and practitioners in the learning field. This is because they are fun, motivating and immersive. However, designing educational games can be difficult for people who do not have appropriate background towards game development. This is further complicated by the fact that there are many genres of games (role playing, action,...
A Cyber-physical system (CPS) is an engineering system made of computational components, i.e. cyber elements, and physical elements, that are connected by a communication network. CPSs have emerged as the contemporarily leading technology in major industry sectors such as manufacture, aerospace, automotive, etc. Nowadays CPS is almost the synonym of control systems for large and complex engineering...
Databases are mainly used in many systems in order to store data. Databases in large scale systems are difficult to grasp their logical structure, therefore, visualizing databases are quite important. To the present entity relationship diagrams (ER diagrams) have been proposed and used in designing and managing databases. However there are not so many tools which are based on formal mechanisms. In...
The growing complexity of digital signal processing applications make a compelling case the use of high-level design and synthesis methodologies for the implementation on programmable logic devices and embedded processors. Past research has shown that, for complex systems, raising the level of abstraction of design stages does not necessarily come at a penalty in terms of performance or resource requirements...
Context modeling restricts the development of context awareness. Most of existing context modeling techniques are closely related to the applications, which limits reusing of contextaware computing systems. Context Space Modeling(CSM) is not application-specified, but it ignores the time information in the context cannot accurate to represent the dynamic contexts. Address the above problems, the Context...
With the increase of the complexity and scale of the requirements of model transformations and the diversity of the transformation technologies, it is necessary to apply model-driven architecture to develop model transformations since they are software. This paper presents a model-driven approach for model transformations. In the paper, we analyze the characteristics of model transformations, explore...
Results of a five-year research project and several industrial collaborations have produced tools that model the individual effects and complex dynamic interactions between an IT system's application workload and resource contention at multiple levels in the execution environment. An evaluation shows significant resource efficiency gains without sacrificing the performance specified in service-level...
In this paper a new modelling approach is presented to be used for formal-verification of block-diagram executable specifications of distributed industrial cyber-physical systems following the IEC 61499 standard. The approach allows usage of timers and arithmetic operations in the controller code. SMV model-checker is used as the target tool. The function block modelswith multiple communicating plant-controller...
Performance assessment of cloud-based applications requires new methodologies to deal with the complexity of software systems and the variability of cloud resources. In this paper, we address the problem of reducing the total costs for running cloud-based applications while fulfilling service-level objectives (SLOs). To this end, we define an approach to refactor a cloud application in such a way...
The paper describes method of formal modeling object event handling as it is implemented in UML. The resulted Petri net allows to check UML model properties not only by simulation but also formally. For possibly closest congruence between UML and Petri net model an event queue is defined. Each state machine assigned to an object has its own event queue which is available as long as the machine is...
A Maturity Model is a widely used technique that is proved to be valuable to assess business processes or certain aspects of organizations, as it represents a path towards an increasingly organized and systematic way of doing business. A maturity assessment can be used to measure the current maturity level of a certain aspect of an organization in a meaningful way, enabling stakeholders to clearly...
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.