In this paper, the translation of UML state machine diagram along with the informative inscriptions into Promela code is considered. The translating rules are proposed to systematically map the elements of the state m...
详细信息
ISBN:
(纸本)9789881404732
In this paper, the translation of UML state machine diagram along with the informative inscriptions into Promela code is considered. The translating rules are proposed to systematically map the elements of the state machine into the corresponding Promela block code. The main state machine notations which are states and pseudo states and their transitions, are focused. In addition, several inscriptions including state's local preconditions and postconditions, transition labels consisting of events, guards, and actions, on the state machine are considered to elaborate the minimal completeness of the resulting Promela code.
The exponential growing effort, cost and time investment of complex systems in modeling phase emphasize the need for a methodology, a framework and a environment to handle the system model complexity. For that, it is ...
详细信息
ISBN:
(纸本)9789881404732
The exponential growing effort, cost and time investment of complex systems in modeling phase emphasize the need for a methodology, a framework and a environment to handle the system model complexity. For that, it is necessary to be able to measure the system model complexity. This paper highlights the requirements a model needs to fulfill to match human user expectations. It suggests a hierarchical graph-based formalism for modeling complex systems and presents transformations to handle the underlying complexity. Finally, a way to measure complexity based on Shannon theory of information is proposed and applied to an example.
With the development of information technology, the online database is getting popular. The experimental data on material has problem to transform because of its diverse structures, redundancy and isolation. This pape...
详细信息
ISBN:
(纸本)9789881404732
With the development of information technology, the online database is getting popular. The experimental data on material has problem to transform because of its diverse structures, redundancy and isolation. This paper aims to analysis the structure of experimental tables in an automatic way by designing a prototype algorithm which can discover the relationships among the headers and to generate a tree structure with data labels to describe these tables, so they can be imported into database finally. Experiment results in this paper show that although the inserting process is slower, the redundancy is reduced and the speed of query is more than 3 times faster. The efficiency of the material database, as one type of data warehouses, is increased overall.
Signal transition graph specification has a potential to describe behavior of hardware system in term of concurrent, sequential and one instance of the same events. One typical idea is for asynchronous control circuit...
详细信息
ISBN:
(纸本)9789881404770
Signal transition graph specification has a potential to describe behavior of hardware system in term of concurrent, sequential and one instance of the same events. One typical idea is for asynchronous control circuits, which is a variety of delay assumption design by means of signal transition graph specification. This paper proposes a distributed lock relation to determine the completion path for multiple-cycle signals. We select the tardy internal-completion signal to be the volunteer signal based on Scalable-Delay-Insensitive (SDI) model. The effectiveness of the proposed methodology is evaluated by cost of area, which is number of internal input signals and literal logic gates.
Signal Transition Graph is a marked graph that represents signal flow behavior in concurrent system. In this paper, we are interesting in a Formal Verification for Signal Transition Graphs. We propose a method of form...
详细信息
ISBN:
(纸本)9789881404732
Signal Transition Graph is a marked graph that represents signal flow behavior in concurrent system. In this paper, we are interesting in a Formal Verification for Signal Transition Graphs. We propose a method of formal modeling for Persistence checking of Signal Transition Graph specification with Promela. Signal Transition Graphs are modeled in Promela and run in SPIN Model Checker. Linear Temporal Logic is used for defining Persistence and Safetyness properties. Our method deals with both single-cycle and multi-cycle Signal Transition graphs.
The profession of software engineering is one of the faster growing in the world;in the United States, it is projected that there will be over two million unfilled computer technology positions by the year 2020. Educa...
详细信息
ISBN:
(纸本)9789881404732
The profession of software engineering is one of the faster growing in the world;in the United States, it is projected that there will be over two million unfilled computer technology positions by the year 2020. Educational institutions are working to address this increasing demand for graduates to fill the personnel vacuum. An approach being pursued by a group of researchers is to develop an open-source Cloud-based repository of teaching artifacts. The repository will be a relational database of searchable case-based material that are tied to related program/course outcomes/topics and structurally attached to assessment material. Other projects have offered similar products and services, but this project focuses on sustainability by designing a dynamic content repository with broad participation.
computer Graphic has many applications in various fields such as industries, corporates, banking, and healthcare (hospital). Advanced computer graphic with latest technologies are widely used in strategic industries l...
详细信息
ISBN:
(纸本)9789881404732
computer Graphic has many applications in various fields such as industries, corporates, banking, and healthcare (hospital). Advanced computer graphic with latest technologies are widely used in strategic industries like aviation, marine, and automotive for solving issues related to images. Using similar methodologies, image analysis can be done to produce more accurate results with better quality (for example CAD or CAM) which will be useful for doctors and patients in hospitals, architects and civil engineers, or other decision makers. The objective of this research is to combine algorithms to produce accurate images with better quality which can be used for decision making based on selected curve. This is performed by associating the Hermite, Bezier, and B-Spline algorithms to its harmonic functions so that the resulting curves / images becomes better and well formed. This research will produce a picture/image/shape that will serve the needs of the designers.
Industrial factories usually adopt application specific software to enhance the effectiveness of administration and management and reduce workload of executives and other personnel. However, there are some software ap...
详细信息
ISBN:
(纸本)9789881404732
Industrial factories usually adopt application specific software to enhance the effectiveness of administration and management and reduce workload of executives and other personnel. However, there are some software applications which are completely developed but are not practically utilized resulting in an economic loss both in time and in financial investment. Therefore, this research proposes a risk assessment model for helping a manager to make decision at an early phase whether to go ahead or cancel the software development project based on empirical data. The method includes a prediction model which integrates risk factors including Hardware (HW), Software (SW), Organization (OG), and Human (HM). The risk assessment model is developed using Confirmatory Factor Analysis (CFA).
Developing safe and reliable software is not a luxury but a necessity given our staggering level of dependency on it. Indeed, we have handed over our ability to function day to day to an electronic array or zeros and ...
详细信息
ISBN:
(纸本)9789881404732
Developing safe and reliable software is not a luxury but a necessity given our staggering level of dependency on it. Indeed, we have handed over our ability to function day to day to an electronic array or zeros and ones and we expect, demand and rely on these invisible bits to work without error or fault. However, the process of building such reliable software is far from simple. This paper will examine the practical aspects of the problem as well as solutions that are either used or in the process of being evaluated and/or adopted by an NYC based financial institution to produce safe and reliable software.
暂无评论