In software design, it is important to encapsulate cross-cutting concerns, and the application of aspect-oriented technologies to design modeling is a significant challenge. We examined the design of software for embe...
详细信息
ISBN:
(纸本)9780769530574
In software design, it is important to encapsulate cross-cutting concerns, and the application of aspect-oriented technologies to design modeling is a significant challenge. We examined the design of software for embedded systems that exhibit complicated behavior and observed that aspect orientation is useful for designing such systems. In this paper, we propose aspect-oriented modeling for embedded software design. For this modeling, we introduce an aspect-oriented modeling mechanism based on state diagrams. We also demonstrate how the proposed modeling can be effectively applied to embedded software design based on an example.
There are many business information systems under operation supporting the essential business processes of large scale multi-national enterprises, which forms the essential IT assets of these organizations. However, t...
详细信息
ISBN:
(纸本)9780769549224
There are many business information systems under operation supporting the essential business processes of large scale multi-national enterprises, which forms the essential IT assets of these organizations. However, the isolation of these systems, improper process configurations and unbalanced resource allocations often leads to the deterioration of these enterprises, or even major management crisis. Service-oriented computing is considered a possible remedy for such issues with relatively low migration cost that has attracted much industrial attention. In this paper, through a survey to an industrial consulting case from a Southeastern asia Garment Manufacture, we discuss how service requirements are elicited, how to evolve conventional management information systems into composite service systems that is reconfigurable at runtime, so as to realize resources optimization and efficiency improvement. The purpose of this paper is to analyze the knowhow of migrating conventional management information systems into service-oriented architecture, from a requirements engineering perspective.
In light of the social demand for the training of software engineers and the increasing attention to Project-Based Learning (PBL), many studies have conducted software development as the subject matter of PBL. However...
详细信息
ISBN:
(纸本)9781665455374
In light of the social demand for the training of software engineers and the increasing attention to Project-Based Learning (PBL), many studies have conducted software development as the subject matter of PBL. However, the educational effectiveness of PBL for software development and its measurement methods are not uniform, as many methods have been reported. This study conducted a systematic literature review of the educational effectiveness of PBL for software development.
Python software Transactional Memory (PSTM), was proposed to break the limiting factors which restrict diffusion of the TM paradigm into more application fields. Since the widespread use of the PSTM, it is of great si...
详细信息
ISBN:
(纸本)9781538636817
Python software Transactional Memory (PSTM), was proposed to break the limiting factors which restrict diffusion of the TM paradigm into more application fields. Since the widespread use of the PSTM, it is of great significance to formally analyze and verify relevant transactional properties of this architecture. In this paper, we apply Communicating Sequential Processes (CSP) to model the PSTM. Moreover, we use the model checker Process Analysis Toolkit (PAT) to automatically simulate the developed model, and verify whether the model caters for some relevant properties, e.g. ACID. Our modeling and verification show that the PSTM can guarantee some transactional properties.
The paper addresses the problem of XML document adaptation - transforming a document valid against an old version of an XML schema to a document valid against the new version of the schema. We propose a solution using...
详细信息
ISBN:
(纸本)9781479921430
The paper addresses the problem of XML document adaptation - transforming a document valid against an old version of an XML schema to a document valid against the new version of the schema. We propose a solution using a conceptual model, where the relationships between the old and new versions are specified declaratively. We focus on those scenarios, where mere between the structures of the schemas (corresponding to the parts of the XML documents) is not descriptive enough, because there are more intricate relationships between the data in the source and target document. We propose a use of OCL, an expression language and part of the UML standard, to declare the relationships as formal annotations of the mappings.
In the process of specifying update operations of an information system, it is critical to ensure that the resulting design is consistent with the developers' understanding about the requirements, before it is ada...
详细信息
ISBN:
(纸本)9780769549224
In the process of specifying update operations of an information system, it is critical to ensure that the resulting design is consistent with the developers' understanding about the requirements, before it is adapted to a chosen platform of implementation. We present a formal approach to testing behavioural specifications that characterise the intended effects on the state as two-state, first-order predicates. By supplying use-case scenarios that are of interest, the developers are able to examine the test results, decide if the model under test is consistent, and revise the source specifications if necessary. To facilitate an iterative process of this, in this paper we develop a list of equivalence and refinement (rewriting) laws of predicates that are targeted at information system states. Our development is built upon the formal semantics and logical properties of a formal language of substitutions that serves as an abstract implementation language for these predicates.
Large parts of today's software systems are devoted to detecting and recovering from failures, making exception handling a critical issue in software development. Concurrent software complicates this issue: most c...
详细信息
ISBN:
(纸本)9780769549224
Large parts of today's software systems are devoted to detecting and recovering from failures, making exception handling a critical issue in software development. Concurrent software complicates this issue: most concurrent programming languages require a mechanism to deal with asynchronous exceptions, but because of the diverse design choices underlying each language, no approach fits all situations. We introduce a classification of possible approaches to guide the development of asynchronous exception mechanisms, and we show its applicability by deriving a sound and comprehensible mechanism for SCOOP, an object-oriented programming model for concurrency. We describe the key idea of the mechanism using the accountability framework, which precisely defines the obligations of client and supplier regarding the reporting of exceptions. The framework not only provides the necessary intuition to apply the mechanism correctly, it is also useful to comprehend other approaches.
Managing variability in a software family is crucial to software product line engineering. The existing variability management techniques, however do not particularly address database design in the context of informat...
详细信息
ISBN:
(纸本)9781479921430
Managing variability in a software family is crucial to software product line engineering. The existing variability management techniques, however do not particularly address database design in the context of information systems product lines. This paper presents a practical approach to handle variability in database design for families of software. We use the technique of Delta-Oriented Programming when a product is constructed by adding a number of delta modules to a core module incrementally, based on the features selected in the product configuration. We use SQL Data Definition Language to model core and delta modules. We present rules for consistency checking of the delta scripts based on the database consistency constraints to generate a valid consistent database schema for the product. Also we analyze the cases in which a conflict arises based on inconsistencies between delta modules. The fact that DDL is widely known to software developers, along with modularity and scalability of the proposed method makes it suitable to be used in industrial real world applications.
Large software systems need to be evolved to cope with their changing environment, e. g. to incorporate new functionalities, or to better use the underlying hardware. This paper proposes an approach to reveal which pa...
详细信息
ISBN:
(纸本)9781728119700
Large software systems need to be evolved to cope with their changing environment, e. g. to incorporate new functionalities, or to better use the underlying hardware. This paper proposes an approach to reveal which parts of a system can be isolated in a module, and which parts can potentially run in parallel. We use a graph representation for the data extracted from a target software system and for the queries that express our desired analyses. Then we employ a matching framework performing queries on the target graph. The data representation is highly flexible and supports several analyses, shown in our experiments.
System-Theoretic Process Analysis (STPA) is performing a potential hazard analysis in the interactions of components within a system. Among STPA's process, deriving loss scenarios by identifying causes of the haza...
详细信息
ISBN:
(纸本)9798350344172
System-Theoretic Process Analysis (STPA) is performing a potential hazard analysis in the interactions of components within a system. Among STPA's process, deriving loss scenarios by identifying causes of the hazard has become increasingly important due to the complexity of modern systems. In this study, we utilize reinforcement learning to derive state transition paths that lead to hazard as loss scenarios, and extract the frequency of risk frequencies to demonstrate the necessity of safety measures for the respective loss scenarios. It is anticipated that this efficient approach will aid in simulating the system design process and enhancing safety.
暂无评论