The use of model-based software development is increasingly popular due to recent advancements in modeling technology. Numerous approaches exist;this paper seeks to organize and characterize them. In particular, impor...
详细信息
The use of model-based software development is increasingly popular due to recent advancements in modeling technology. Numerous approaches exist;this paper seeks to organize and characterize them. In particular, important terminological confusion, challenges, and recurring techniques of model-based software development are identified and rationalized. New perspectives are provided on some fundamental issues, such as the distinctions between model-driven development and architecture-centric development, code generation, and metamodeling. On the basis of this discussion, we opine that architecture-centric development and domain-specific model-driven development are the two most promising branches of model-based software development. Achieving a positive future will require, however, specific advances in softwaremodeling, code generation, and model-code consistency management.
Enterprise Ontology (EO) is a well-known theory that captures the essence of an organisation. It is rooted in the Language Action Perspective that acknowledges language as the primary dimension of human cooperative ac...
详细信息
ISBN:
(纸本)9783030248543;9783030248536
Enterprise Ontology (EO) is a well-known theory that captures the essence of an organisation. It is rooted in the Language Action Perspective that acknowledges language as the primary dimension of human cooperative activity. This theory, proposed by Jan Dietz, provides the foundations for designing and engineering of enterprises seen as social information systems. In this paper, we analyse some fundamental aspects of EO using an adapted framework for comparing methodologies. We present also a systematic review of the literature to find how EO and its modelling methodology are used to develop enterprise software applications.
Ontology Driven softwaredevelopment (ODSD) combines traditional modelbasedsoftwaredevelopment (MBSD) techniques with ontology technology in order to provide extensions to and advantages over MBSD. The goal of the ...
详细信息
Ontology Driven softwaredevelopment (ODSD) combines traditional modelbasedsoftwaredevelopment (MBSD) techniques with ontology technology in order to provide extensions to and advantages over MBSD. The goal of the paper is to identify current ODSD approaches and to provide qualitative and comparative analysis of the collection of identified approaches. Main research questions of the paper concern the ways of how ontologies are integrated to MBSD process and how their usage advances MBSD. Benefits and challenges of each of the discussed approaches are presented. The analysis is based on literature and projects reviews in the fields of ontology engineering, MBSD and ODSD. The result of the analysis provides understanding of what is the role of ontologies in ODSD and shows whether application of ontology technologies to the MBSD process gives rise to a new paradigm called consistency preserving softwaredevelopment or not.
Textual description of requirements is a specification technique that is widely used in industry, where time is key for success. How requirements are specified textually greatly depends on human factors. In order to s...
详细信息
ISBN:
(纸本)9781509040391
Textual description of requirements is a specification technique that is widely used in industry, where time is key for success. How requirements are specified textually greatly depends on human factors. In order to study how requirements processing is affected by the level of detail in textual descriptions, this paper compares enriched textual requirements specifications with non-enriched ones. To do this, we have conducted an experiment in industry with 19 engineers of CAF (Construcciones y Auxiliares de Ferrocarril), which is a supplier of railway solutions. The experiment is a crossover design that analyzes efficiency, effectiveness, and perceived difficulty starting from a written specification of requirements that subjects must process in order to build softwaremodels. The results show that effectiveness and efficiency for enriched requirements are better, while non-enriched requirements are slightly more difficult to deal with. Therefore, even though enriched requirements require more time to be specified, the results are more successfully when using them.
Rise in software use for safety-critical systems is driven by the escalating technology and curiosity in aerospace and space industries. However, the reliance on software in order to increase features and capabilities...
详细信息
ISBN:
(纸本)9798350323023
Rise in software use for safety-critical systems is driven by the escalating technology and curiosity in aerospace and space industries. However, the reliance on software in order to increase features and capabilities of an avionic system is directly questioned by how safe the software is, which further points down to the conformance of the software to standards DO-178C/DO-331. This research presents an overview of a process-oriented build tool developed in MATLAB and Simulink, serving the purpose of increasing the development efficiency along with process conformance. The build tool provides advantages like modular software management, artifacts handling with traceability, tools interlinking, automated model and code verification tasks, defined design environment, etc. It is used in several projects serving as softwaredevelopment environment for as flight control applications as well as battery management systems as well as motor controller. The paper provides motivation and functional overview of the build tool along with its key features.
Ontology Driven softwaredevelopment (ODSD) combines traditional modelbasedsoftwaredevelopment (MBSD) techniques with ontology technology in order to provide extensions to and advantages over MBSD. The goal of the ...
详细信息
Ontology Driven softwaredevelopment (ODSD) combines traditional modelbasedsoftwaredevelopment (MBSD) techniques with ontology technology in order to provide extensions to and advantages over MBSD. The goal of the paper is to identify current ODSD approaches and to provide qualitative and comparative analysis of the collection of identified approaches. Main research questions of the paper concern the ways of how ontologies are integrated to MBSD process and how their usage advances MBSD. Benefits and challenges of each of the discussed approaches are presented. The analysis is based on literature and projects reviews in the fields of ontology engineering, MBSD and ODSD. The result of the analysis provides understanding of what is the role of ontologies in ODSD and shows whether application of ontology technologies to the MBSD process gives rise to a new paradigm called consistency preserving softwaredevelopment or not.
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification In this paper, a type system for the Spi Calculus and a translation function are...
详细信息
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification In this paper, a type system for the Spi Calculus and a translation function are formally defined, in order to formalize the refinement of a Spi Calculus specification into a Java implementation The Java implementation generated by the translation function uses a custom Java library Formal conditions on such library are stated, so that, if the library implementation code satisfies such conditions, then the generated Java implementation correctly simulates the Spi Calculus specification A verified implementation of part of the custom library is further presented (C) 2009 Elsevier Ltd All rights reserved
The paradigm of model-based software development has become more and more popular since it promises an increase in the efficiency and quality of softwaredevelopment. Following this paradigm, models become primary art...
详细信息
The paradigm of model-based software development has become more and more popular since it promises an increase in the efficiency and quality of softwaredevelopment. Following this paradigm, models become primary artifacts in the softwaredevelopment process. Therefore, software quality and quality assurance frequently leads back to the quality and quality assurance of the involved models. In our approach, we propose a model quality assurance process that can be adapted to project-specific and domain-specific needs. This process is based on static model analysis using model metrics and model smells. based on the outcome of the model analysis, appropriate model refactoring steps can be performed. In this paper, we present a tool environment conveniently supporting the proposed model quality assurance process. In particular, the presented tools support metrics reporting, smell detection, and refactoring for models being based on the Eclipse modeling Framework, a widely used open source technology in model-based software development.
The use of smart contract augurs a world without intermediaries because the code and the agreements contained therein exist across a distributed, decentralized blockchain network. In software engineering, this collabo...
详细信息
The use of smart contract augurs a world without intermediaries because the code and the agreements contained therein exist across a distributed, decentralized blockchain network. In software engineering, this collaboration is usually represented by using business process models and smart contracts can be used to implement business collaborations in general and interorganizational business processes. The validation of this contract and the assurance of its quality are critical for its right application. Early testing in smart contract definition is the fact of this paper. The paper discusses the possibility to use transformation protocols to obtain derived artefacts like test case definitions and smart contract code scaffolds. Generation of derived artefacts significantly reduces the number of defects before deploying the smart contract code in the blockchain network. Transformations protocols are created using model-based software development and modelling techniques. This approach allows to simplify and improve the management and execution of collaborative business processes. This would allow, in addition, the application of systematic mechanisms to evaluate and validate the smart contract and, particularly, the application of early testing techniques which would help to reduce the number of defects and, ultimately, the cost of the final review.
While methods of software validation and verification are by now well established, the approach of automatic synthesis of software (and hardware) is as yet only developed in quite rudimentary form. Algorithmic program...
详细信息
While methods of software validation and verification are by now well established, the approach of automatic synthesis of software (and hardware) is as yet only developed in quite rudimentary form. Algorithmic program synthesis is possible in restricted scenarios, in particular in reactive multi- agent systems with lowdata complexity and in control systems. Central issues are the establishment of system models that support algorithmic solutions, the combinationof discrete andcontinuous parameters (in hybrid systems), and the exploration of applications. The aim of the Research Training Group AlgoSyn is to unify the expertise from computer science, mathematics, and four engineering disciplines (processor architectures, automatic control, process control engineering, traintraffic systems), inorder to push forward the desired integration of methods.
暂无评论