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.
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.
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.
To transform the development of complex systems, developers leverage model-based design by systematically using models throughout the entire process. Simulink model is a block diagram environment used to design system...
详细信息
ISBN:
(纸本)9781450394673
To transform the development of complex systems, developers leverage model-based design by systematically using models throughout the entire process. Simulink model is a block diagram environment used to design systems with multi-domain models, simulate before implementation. Keeping different versions of Simulink models is important for the evolution of the design of a complex system. However, the existing state-of-the-art approaches and tools for version control (VC) and configuration management (CM) for the models are still limited to text-based, which treats the source code of the models as texts. This hinders the understanding of model evolution due to the mismatch between the developers' intention and text-basedmodeling of changes. We propose SIMUV, a VC/CM system that integrates the graph structures of the Simulink models and represents the model's entities and their changes explicitly.
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.
model-based engineering or model-based design engineering is one of the approaches of Mechatronic system development and it was developed in last period of time. Nowadays this method is frequently used for developing ...
详细信息
ISBN:
(纸本)9781728171661
model-based engineering or model-based design engineering is one of the approaches of Mechatronic system development and it was developed in last period of time. Nowadays this method is frequently used for developing also software taking into consideration some standards and guidelines, making model-based design to be a trustworthy and a secure development method concerning quality of the developed product.
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.
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.
This paper discusses the difference between traditional softwaredevelopment and model-based software development. The characteristics and advantages of model-based software development and verification are analyzed. ...
详细信息
ISBN:
(纸本)9781538681787
This paper discusses the difference between traditional softwaredevelopment and model-based software development. The characteristics and advantages of model-based software development and verification are analyzed. This paper introduces the airborne softwaredevelopment tool SCADE Suite in the field of aviation high safety. In this paper, the modelbasedsoftware verification objectives, verification strategies, high level verification, low level verification, model coverage analysis methods and activities through SCADE Suite are discussed in detail.
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.
暂无评论