| 1. |
- Autili, Marco, et al.
(författare)
-
Model-driven engineering of middleware-based ubiquitous services
- 2014
-
Ingår i: Software and Systems Modeling. - : Springer Science and Business Media LLC. - 1619-1366 .- 1619-1374. ; 13:2, s. 481-511
-
Tidskriftsartikel (refereegranskat)abstract
- Supporting the execution of service-oriented applications over ubiquitous networks specifically calls for a service-oriented middleware (SOM), which effectively enables ubiquitous networking while benefiting from the diversity and richness of the networking infrastructure. However, developing ubiquitous applications that exploit the specific features offered by a SOM might be a time-consuming task, which demands a deep knowledge spanning from the application domain concepts down to the underlying middleware technicalities. In this paper, first we present the model-driven development process underpinning ubiSOAP, a SOM for the ubiquitous networking domain. Then, based on the domain concepts defined by the conceptual model of ubiSOAP, its architecture and its technicalities, we propose a domain-specific environment, called ubiDSE, that aids the development of applications that exploits the ubiSOAP features, from design to implementation. ubiDSE allows developers to focus on the main behavior of the modeled systems, rather than on complex details inherent to ubiquitous environments. As part of ubiDSE, specific tools are provided to automatically generate skeleton code for service-oriented applications to be executed on ubiSOAP-enabled devices, hence facilitating the exploitation of ubiSOAP by developers.
|
|
| 2. |
- Barthe, Gilles, et al.
(författare)
-
SEFM: software engineering and formal methods
- 2015
-
Ingår i: Journal of Software and Systems Modeling. - : Springer Science and Business Media LLC. - 1619-1366 .- 1619-1374. ; 14:1, s. 3-4
-
Tidskriftsartikel (refereegranskat)
|
|
| 3. |
|
|
| 4. |
- Berger-Reinhartz, Iris, et al.
(författare)
-
Guest editorial for EMMSAD’2019 special section
- 2021
-
Ingår i: Software and Systems Modeling. - : Springer Nature. - 1619-1366 .- 1619-1374. ; 20, s. 25-26
-
Tidskriftsartikel (övrigt vetenskapligt/konstnärligt)abstract
- The EMMSAD (Exploring Modeling Methods for Systems Analysis and Development) conference series organized 24 events from 1996 to 2019, associated with CAiSE (Conference on Advanced Information Systems Engineering). From 2009, EMMSAD has become a two-days working conference. From 2017, EMMSAD best papers are invited to submit extended versions for considering their publication in the Journal of Software and Systems Modeling (SoSyM). The main topics of the EMMSAD series have the focus on models and modeling methods for software and information systems development, requirements engineering, enterprise modeling and architecture, and business process management. The conference further addresses evaluation of modeling methods through a variety of empirical and nonempirical approaches.
|
|
| 5. |
- Bider, Ilia, et al.
(författare)
-
A fractal enterprise model and its application for business development
- 2017
-
Ingår i: Software and Systems Modeling. - : Springer Science and Business Media LLC. - 1619-1366 .- 1619-1374. ; 16:3, s. 663-689
-
Tidskriftsartikel (refereegranskat)abstract
- This paper suggests a new type of enterprise models called fractal enterprise models (FEM), with accompanying methodological support for their design. FEM shows interconnections between the business processes in an enterprise by connecting them to the assets they use and manage. Assets considered in the model could be tangible (buildings, heavy machinery, etc.) and intangible (employees, business process definitions, etc.). A FEM model is built by using two types of patterns called archetypes: a process-assets archetype that connects a process with assets used in it, and an asset-processes archetype that connects an asset with processes aimed to manage this asset (e.g., hiring people, or servicing machinery). Alternating these patterns creates a fractal structure that makes relationships between various parts of the enterprise explicit. FEM can be used for different purposes, including finding a majority of the processes in an enterprise and planning business change or radical transformation. Besides discussing FEM and areas of its usage, the paper presents results from a completed project in order to test the practical usefulness of FEM and its related methodological support.
|
|
| 6. |
- Bider, Ilia, et al.
(författare)
-
Design science in action : developing a modeling technique for eliciting requirements on business process management (BPM) tools
- 2015
-
Ingår i: Software and Systems Modeling. - : Springer Science and Business Media LLC. - 1619-1366 .- 1619-1374. ; 14:3, s. 1159-1188
-
Tidskriftsartikel (refereegranskat)abstract
- Selecting a suitable business process management (BPM) tool to build a business process support system for a particular business process is difficult. There are a number of BPM tools on the market that are available as systems to install locally and as services in the cloud. These tools are based on different BPM paradigms (e.g., workflow or case management) and provide different capabilities (e.g., enforcement of the control flow, shared spaces, or a collaborative environment). This makes it difficult for an organization to select a tool that would fit the business processes at hand. The paper suggests a solution for this problem. The core of the solution is a modeling technique for business processes for eliciting their requirements for a suitable BPM tool. It produces a high-level, business process model, called a “step-relationship” model that depicts the essential characteristics of a process in a paradigm-independent way. The solution presented in this paper has been developed based on the paradigm of design science research, and the paper discusses the research project from the design science perspective. The solution has been applied in two case studies in order to demonstrate its feasibility.
|
|
| 7. |
- Biehl, Matthias, et al.
(författare)
-
On the modeling and generation of service-oriented tool chains
- 2014
-
Ingår i: Software and Systems Modeling. - : Springer Science and Business Media LLC. - 1619-1366 .- 1619-1374. ; 13:2, s. 461-480
-
Tidskriftsartikel (refereegranskat)abstract
- Tool chains have grown from ad-hoc solutions to complex software systems, which often have a service-oriented architecture. With service-oriented tool integration, development tools are made available as services, which can be orchestrated to form tool chains. Due to the increasing sophistication and size of tool chains, there is a need for a systematic development approach for service-oriented tool chains. We propose a domain-specific modeling language (DSML) that allows us to describe the tool chain on an appropriate level of abstraction. We present how this language supports three activities when developing service-oriented tool chains: communication, design and realization. A generative approach supports the realization of the tool chain using the service component architecture. We present experiences from an industrial case study, which applies the DSML to support the creation of a service-oriented tool chain. We evaluate the approach both qualitatively and quantitatively by comparing it with a traditional development approach.
|
|
| 8. |
- Borgström, Johannes, et al.
(författare)
-
Broadcast psi-calculi with an application to wireless protocols
- 2015
-
Ingår i: Software and Systems Modeling. - : Springer. - 1619-1366 .- 1619-1374. ; 14:1, s. 201-216
-
Tidskriftsartikel (refereegranskat)abstract
- Psi-calculi is a parametric framework for extensions of the pi-calculus, with arbitrary data structures and logical assertions for facts about data. In this paper we add primitives for broadcast communication in order to model wireless protocols. The additions preserve the purity of the psi-calculi semantics, and we formally prove the standard congruence and structural properties of bisimilarity. We demonstrate the expressive power of broadcast psi-calculi by modelling the wireless ad-hoc routing protocol LUNAR and verifying a basic reachability property.
|
|
| 9. |
- Bucaioni, Alessio, 1987-, et al.
(författare)
-
From low-level programming to full-fledged industrial model-based development : the story of the Rubus Component Model
- 2023
-
Ingår i: Software and Systems Modeling. - : Springer Science and Business Media Deutschland GmbH. - 1619-1366 .- 1619-1374.
-
Tidskriftsartikel (refereegranskat)abstract
- Developing distributed real-time systems is a complex task that has historically entailed specialized handcraft. In this paper, we propose a retrospective on the (r)evolutionary changes that led to the transition from low-level programming to industrial full-fledged model-based development embodied by the Rubus Component Model and its tool-ecosystem. We focus on the needs, challenges, and solutions of a 15-year-long evolution journey of a software development approach that has gone from low-level and manual programming to a highly automated environment offering modeling, analysis, and development of vehicular software systems with multi-criticality for deployment on single- and multi-core platforms.
|
|
| 10. |
- Bucaioni, Alessio, 1987-, et al.
(författare)
-
Modelling in low-code development : a multi-vocal systematic review
- 2022
-
Ingår i: Software and Systems Modeling. - : SPRINGER HEIDELBERG. - 1619-1366 .- 1619-1374. ; 21:5, s. 1959-1981
-
Forskningsöversikt (refereegranskat)abstract
- In 2014, a new software development approach started to get a foothold: low-code development. Already from its early days, practitioners in software engineering have been showing a rapidly growing interest in low-code development. In 2021 only, the revenue of low-code development technologies reached 13.8 billion USD. Moreover, the business success of low-code development has been sided by a growing interest from the software engineering research community. The model-driven engineering community has shown a particular interest in low-code development due to certain similarities between the two. In this article, we report on the planning, execution, and results of a multi-vocal systematic review on low-code development, with special focus to its relation to model-driven engineering. The review is intended to provide a structured and comprehensive snapshot of low-code development in its peak of inflated expectations technology adoption phase. From an initial set of potentially relevant 720 peer-reviewed publications and 199 grey literature sources, we selected 58 primary studies, which we analysed according to a meticulous data extraction, analysis, and synthesis process. Based on our results, we tend to frame low-code development as a set of methods and/or tools in the context of a broader methodology, often being identified as model-driven engineering.
|
|
