当前期刊: Software and Systems Modeling Go to current issue    加入关注   
显示样式:        排序: IF: - GO 导出
我的关注
我的收藏
您暂时未登录!
登录
  • Exploring how users engage with hybrid process artifacts based on declarative process models: a behavioral analysis based on eye-tracking and think-aloud
    Softw. Syst. Model. (IF 1.876) Pub Date : 2020-07-05
    Amine Abbad Andaloussi, Francesca Zerbato, Andrea Burattin, Tijs Slaats, Thomas T. Hildebrandt, Barbara Weber

    Process design artifacts have been increasingly used to guide the modeling of business processes. To support users in designing and understanding process models, different process artifacts have been combined in several ways leading to the emergence of the so-called “hybrid process artifacts”. While many hybrid artifacts have been proposed in the literature, little is known about how they can actually

    更新日期:2020-07-05
  • Automatic derivation of conceptual database models from differently serialized business process models
    Softw. Syst. Model. (IF 1.876) Pub Date : 2020-07-01
    Drazen Brdjanin, Stefan Ilic, Goran Banjac, Danijela Banjac, Slavko Maric

    The existing tools that aim to derive data models from business process models are typically able to process the source models represented by one single notation and also serialized in one specific way. However, the standards (e.g., BPMN) enable different serialization formats and also provide serialization flexibility, which leads to various implementations of the standard in different modeling tools

    更新日期:2020-07-01
  • Mixed-semantics composition of statecharts for the component-based design of reactive systems
    Softw. Syst. Model. (IF 1.876) Pub Date : 2020-07-01
    Bence Graics, Vince Molnár, András Vörös, István Majzik, Dániel Varró

    The increasing complexity of reactive systems can be mitigated with the use of components and composition languages in model-driven engineering. Designing composition languages is a challenge itself as both practical applicability (support for different composition approaches in various application domains), and precise formal semantics (support for verification and code generation) have to be taken

    更新日期:2020-07-01
  • Interface protocol inference to aid understanding legacy software components
    Softw. Syst. Model. (IF 1.876) Pub Date : 2020-06-28
    Kousar Aslam, Loek Cleophas, Ramon Schiffelers, Mark van den Brand

    High-tech companies are struggling today with the maintenance of legacy software. Legacy software is vital to many organizations as it contains the important business logic. To facilitate maintenance of legacy software, a comprehensive understanding of the software’s behavior is essential. In terms of component-based software engineering, it is necessary to completely understand the behavior of components

    更新日期:2020-06-28
  • Modeling cultures of the embedded software industry: feedback from the field
    Softw. Syst. Model. (IF 1.876) Pub Date : 2020-06-25
    Deniz Akdur, Bilge Say, Onur Demirörs

    Engineering of modern embedded systems requires complex technical, managerial and operational processes. To cope with the complexity, modeling is a commonly used approach in the embedded software industry. The modeling approaches in embedded software vary since the characteristics of modeling such as purpose, medium type and life cycle phase differ among systems and industrial sectors. The objective

    更新日期:2020-06-25
  • An improved approach on the model checking for an agent-based simulation system
    Softw. Syst. Model. (IF 1.876) Pub Date : 2020-06-14
    Yinling Liu, Tao Wang, Haiqing Zhang, Vincent Cheutet

    Model checking is an effective way to verify behaviours of an agent-based simulation system. Three behaviours are analysed: operational, control, and global behaviours. Global behaviours of a system emerge from operational behaviours of local components regulated by control behaviours of the system. The previous works principally focus on verifying the system from the operational point of view (operational

    更新日期:2020-06-14
  • A framework for automated multi-stage and multi-step product configuration of cyber-physical systems
    Softw. Syst. Model. (IF 1.876) Pub Date : 2020-06-13
    Safdar Aqeel Safdar, Hong Lu, Tao Yue, Shaukat Ali, Kunming Nie

    Product line engineering (PLE) has been employed to large-scale cyber-physical systems (CPSs) to provide customization based on users’ needs. A PLE methodology can be characterized by its support for capturing and managing the abstractions as commonalities and variabilities and the automation of the configuration process for effective selection and customization of reusable artifacts. The automation

    更新日期:2020-06-13
  • Ontologies for finding journalistic angles
    Softw. Syst. Model. (IF 1.876) Pub Date : 2020-06-12
    Andreas L. Opdahl, Bjørnar Tessem

    Journalism relies more and more on information and communication technology (ICT). ICT-based journalistic knowledge platforms continuously harvest potentially news-relevant information from the Internet and make it useful for journalists. Because information about the same event is available from different sources and formats vary widely, knowledge graphs are emerging as a preferred technology for

    更新日期:2020-06-12
  • On the benefits of file-level modularity for EMF models
    Softw. Syst. Model. (IF 1.876) Pub Date : 2020-06-12
    Karim Jahed, Mojtaba Bagherzadeh, Juergen Dingel

    Model-driven development (MDD) tools based on the Eclipse Modeling Framework (EMF) typically store all elements in a model in a single file which arguably is one of the main reasons why these tools do not scale well and cannot take advantage of existing code versioning systems and other related facilities such as Git and Make. In this work, we describe an approach for storing models in multiple files

    更新日期:2020-06-12
  • Empirical evaluation of CMMN models: a collaborative process case study
    Softw. Syst. Model. (IF 1.876) Pub Date : 2020-06-09
    Ioannis Routis, Mara Nikolaidou, Dimosthenis Anagnostopoulos

    Case Management Model and Notation (CMMN) was introduced by the Object Management Group as an alternative modeling language, targeting human-centric processes characterized by lack of structure and agility. However, although it is adequately supported by well-known process management tools, CMMN applicability as a modeling language is being questioned in practice. In this work, an empirical evaluation

    更新日期:2020-06-09
  • A query-retyping approach to model transformation co-evolution
    Softw. Syst. Model. (IF 1.876) Pub Date : 2020-06-09
    Adrian Rutle, Ludovico Iovino, Harald König, Zinovy Diskin

    In rule-based approaches, a model transformation definition tells how an instance of a source metamodel should be transformed to an instance of a target metamodel. As these metamodels undergo changes, model transformations defined over these metamodels may get out of sync. Restoring conformance between model transformations and the metamodels is a complex and error-prone task. In this paper, we propose

    更新日期:2020-06-09
  • Generation of hazard relation diagrams: formalization and tool support
    Softw. Syst. Model. (IF 1.876) Pub Date : 2020-06-03
    Bastian Tenbergen, Thorsten Weyer

    Developing safety-critical, software-intensive embedded systems are characterized by the need to identify hazards and to define hazard-mitigating requirements at the earliest possible stage of development, i.e., during requirements engineering. These hazard-mitigating requirements must be adequate in the sense that they must specify the functionality required by the stakeholders in addition to rendering

    更新日期:2020-06-03
  • Imperative versus declarative constraint specification languages: a controlled experiment
    Softw. Syst. Model. (IF 1.876) Pub Date : 2020-05-18
    Azzam Maraee, Arnon Sturm

    Model-based software engineering gains further attention these days. To better support it, the use of constraint languages is important in order to bridge expressiveness gaps and eliminate ambiguity. Nevertheless, the use of model-based constraint languages, like the Object Constraint Language (OCL), is quite limited and the specification of constraints is left to the implementation stage. One option

    更新日期:2020-05-18
  • Requirement-driven model-based development methodology applied to the design of a real-time MEG data processing unit
    Softw. Syst. Model. (IF 1.876) Pub Date : 2020-05-08
    Tao Chen, Michael Schiek, Jürgen Dammers, N. Jon Shah, Stefan van Waasen

    The paper describes a multidisciplinary work that uses a model-based systems engineering method for developing real-time magnetoencephalography (MEG) signal processing. We introduce a requirement-driven, model-based development methodology (RDD and MBD) to provide a high-level environment and efficiently handle the complexity of computation and control systems. The proposed development methodology

    更新日期:2020-05-08
  • Modelling multi-criticality vehicular software systems: evolution of an industrial component model
    Softw. Syst. Model. (IF 1.876) Pub Date : 2020-04-30
    Alessio Bucaioni, Saad Mubeen, Federico Ciccozzi, Antonio Cicchetti, Mikael Sjödin

    Software in modern vehicles consists of multi-criticality functions, where a function can be safety-critical with stringent real-time requirements, less critical from the vehicle operation perspective, but still with real-time requirements, or not critical at all. Next-generation autonomous vehicles will require higher computational power to run multi-criticality functions and such a power can only

    更新日期:2020-04-30
  • Transitive-closure-based model checking (TCMC) in Alloy
    Softw. Syst. Model. (IF 1.876) Pub Date : 2020-01-03
    Sabria Farheen, Nancy A. Day, Amirhossein Vakili, Ali Abbassi

    We present transitive-closure-based model checking (TCMC): a symbolic representation of the semantics of computational tree logic with fairness constraints (CTLFC) for finite models in first-order logic with transitive closure (FOLTC). TCMC is an expression of the complete model checking problem for CTLFC as a set of constraints in FOLTC without induction, iteration, or invariants. We implement TCMC

    更新日期:2020-04-23
  • Using empirical studies to mitigate symbol overload in iStar extensions
    Softw. Syst. Model. (IF 1.876) Pub Date : 2019-12-12
    Enyo Gonçalves, Camilo Almendra, Miguel Goulão, João Araújo, Jaelson Castro

    Modelling languages are frequently extended to include new constructs to be used together with the original syntax. New constructs may be proposed by adding textual information, such as UML stereotypes, or by creating new graphical representations. Thus, these new symbols need to be expressive and proposed in a careful way to increase the extension’s adoption. A method to create symbols for the original

    更新日期:2020-04-23
  • From analytical purposes to data visualizations: a decision process guided by a conceptual framework and eye tracking
    Softw. Syst. Model. (IF 1.876) Pub Date : 2019-07-10
    Jens Gulden, Andrea Burattin, Amine A. Andaloussi, Barbara Weber

    Data visualizations are versatile tools for gaining cognitive access to large amounts of data and for making complex relationships in data understandable. This paper proposes a method for assessing data visualizations according to the purposes they fulfill in domain-specific data analysis settings. We introduce a framework that gets configured for a given analysis domain and allows to choose data visualizations

    更新日期:2020-04-23
  • A framework for FMI-based co-simulation of human–machine interfaces
    Softw. Syst. Model. (IF 1.876) Pub Date : 2019-09-20
    Maurizio Palmieri, Cinzia Bernardeschi, Paolo Masci

    A framework for co-simulation of human–machine interfaces in Cyber-Physical Systems (CPS) is presented. The framework builds on formal (i.e. mathematical) methods. It aims to support the work of formal methods experts in charge of modelling and analysing safety-critical aspects of user interfaces in CPS. To carry out these modelling and analysis activities, formal methods experts usually need to engage

    更新日期:2020-04-23
  • Benchmarking bidirectional transformations: theory, implementation, application, and assessment
    Softw. Syst. Model. (IF 1.876) Pub Date : 2019-09-12
    Anthony Anjorin, Thomas Buchmann, Bernhard Westfechtel, Zinovy Diskin, Hsiang-Shang Ko, Romina Eramo, Georg Hinkel, Leila Samimi-Dehkordi, Albert Zündorf

    Bidirectional transformations (bx) are relevant for a wide range of application domains. While bx problems may be solved with unidirectional languages and tools, maintaining separate implementations of forward and backward synchronizers with mutually consistent behavior can be difficult, laborious, and error-prone. To address the challenges involved in handling bx problems, dedicated languages and

    更新日期:2020-04-23
  • Ark: a constraint-based method for architectural synthesis of smart systems
    Softw. Syst. Model. (IF 1.876) Pub Date : 2019-11-01
    Milena Guessi, Flavio Oquendo, Elisa Yumi Nakagawa

    As smart systems leverage capabilities of heterogeneous systems for accomplishing complex combined behaviors, they pose new challenges to traditional software engineering practices that considered software architectures to be mostly static and stable. The software architecture of a smart system is inherently dynamic due to uncertainty surrounding its operational environment. While the abstract architecture

    更新日期:2020-04-23
  • Enhancing secure business process design with security process patterns
    Softw. Syst. Model. (IF 1.876) Pub Date : 2019-07-13
    Nikolaos Argyropoulos, Haralambos Mouratidis, Andrew Fish

    Business process definition and analysis are an important activity for any organisation. As research has demonstrated, well-defined business processes can reduce cost, improve productivity and provide organisations with competitive advantages. In the last few years, the need to ensure the security of business processes has been identified as a major research challenge. Limited security expertise of

    更新日期:2020-04-23
  • Towards high-level fuzzy control specifications for building automation systems
    Softw. Syst. Model. (IF 1.876) Pub Date : 2019-09-20
    Juan C. Vidal, Paulo Carreira, Vasco Amaral, Joao Aguiam, João Sousa

    The control logic underlying building automation systems has consisted, traditionally, of embedded discrete programs created using either low-level or proprietary scripting languages, or using general purpose fourth-generation visual languages like Simulink. It is also well known that programs developed in this way are hard to evolve, test, and maintain. These difficulties are intensified when continuous

    更新日期:2020-04-23
  • Early-stage analysis of cyber-physical production systems through collaborative modelling
    Softw. Syst. Model. (IF 1.876) Pub Date : 2019-09-20
    Mihai Neghina, Constantin-Bala Zamfirescu, Ken Pierce

    This paper demonstrates the flexible methodology of modelling cyber-physical systems (CPSs) using the INTO-CPS technology through co-simulation based on Functional Mock-up Units (FMUs). It explores a novel method with two main co-simulation phases: homogeneous and heterogeneous. In the first phase, high-level, abstract FMUs are produced for all subsystems using a single discrete-event formalism (the

    更新日期:2020-04-23
  • Systematic review of matching techniques used in model-driven methodologies
    Softw. Syst. Model. (IF 1.876) Pub Date : 2019-11-01
    Ferenc Attila Somogyi, Mark Asztalos

    In model-driven methodologies, model matching is the process of finding a matching pair for every model element between two or more software models. Model matching is an important task as it is often used while differencing and merging models, which are key processes in version control systems. There are a number of different approaches to model matching, with most of them focusing on different goals

    更新日期:2020-04-23
  • Behavioral interfaces for executable DSLs
    Softw. Syst. Model. (IF 1.876) Pub Date : 2020-04-23
    Dorian Leroy, Erwan Bousse, Manuel Wimmer, Tanja Mayerhofer, Benoit Combemale, Wieland Schwinger

    Executable domain-specific languages (DSLs) enable the execution of behavioral models. While an execution is mostly driven by the model content (e.g., control structures), many use cases require interacting with the running model, such as simulating scenarios in an automated or interactive way, or coupling the model with other models of the system or environment. The management of these interactions

    更新日期:2020-04-23
  • Scalable model views over heterogeneous modeling technologies and resources
    Softw. Syst. Model. (IF 1.876) Pub Date : 2020-04-08
    Hugo Bruneliere, Florent Marchand de Kerchove, Gwendal Daniel, Sina Madani, Dimitris Kolovos, Jordi Cabot

    When engineering complex systems, models are typically used to represent various systems aspects. These models are often heterogeneous in terms of modeling languages, provenance, number or scale. As a result, the information actually relevant to engineers is usually split into different kinds of interrelated models. To be useful in practice, these models need to be properly integrated to provide global

    更新日期:2020-04-22
  • An interdisciplinary comparison of sequence modeling methods for next-element prediction
    Softw. Syst. Model. (IF 1.876) Pub Date : 2020-04-07
    Niek Tax, Irene Teinemaa, Sebastiaan J. van Zelst

    Data of sequential nature arise in many application domains in the form of, e.g., textual data, DNA sequences, and software execution traces. Different research disciplines have developed methods to learn sequence models from such datasets: (i) In the machine learning field methods such as (hidden) Markov models and recurrent neural networks have been developed and successfully applied to a wide range

    更新日期:2020-04-22
  • Extending single- to multi-variant model transformations by trace-based propagation of variability annotations
    Softw. Syst. Model. (IF 1.876) Pub Date : 2020-03-25
    Bernhard Westfechtel, Sandra Greiner

    Model-driven engineering involves the construction of models on different levels of abstraction. Software engineers are supported by model transformations, which automate the transition from high- to low-level models. Product line engineering denotes a systematic process that aims at developing different product variants from a set of reusable assets. When model-driven engineering is combined with

    更新日期:2020-04-22
  • Hazard-driven realization views for Component Fault Trees
    Softw. Syst. Model. (IF 1.876) Pub Date : 2020-03-24
    David Santiago Velasco Moncada

    Traditionally, the preferred means of documentation used by safety engineers have been sheets- and text-based solutions. However, in the last decades, the introduction of model-driven engineering in conjunction with Component-Based Design has been influencing the way safety engineers perform their tasks; especially in the area of fault analysis, model-driven approaches have been developed aimed at

    更新日期:2020-04-22
  • IoT meets BPM: a bidirectional communication architecture for IoT-aware process execution
    Softw. Syst. Model. (IF 1.876) Pub Date : 2020-03-19
    Stefan Schönig, Lars Ackermann, Stefan Jablonski, Andreas Ermer

    Business processes are frequently executed within application systems that involve humans, computer systems as well as objects of the Internet of Things (IoT). Nevertheless, the usage of IoT technology for system supported process execution is still constrained by the absence of a common system architecture that manages the communication between both worlds. In this paper, we introduce an integrated

    更新日期:2020-04-22
  • Connecting software build with maintaining consistency between models: towards sound, optimal, and flexible building from megamodels
    Softw. Syst. Model. (IF 1.876) Pub Date : 2020-03-19
    Perdita Stevens

    Software build systems tackle the problem of building software from sources in a way which is sound (when a build completes successfully, the relations between the generated and source files are as specified) and optimal (only genuinely required rebuilding steps are done). In this paper, we explain and exploit the connection between software build and the megamodel consistency problem. The model-driven

    更新日期:2020-04-22
  • Profiling users via their reviews: an extended systematic mapping study
    Softw. Syst. Model. (IF 1.876) Pub Date : 2020-03-19
    Xin Dong, Tong Li, Rui Song, Zhiming Ding

    With the extensive development of big data and social networks, the user profile field has received much attention. User profiling is essential for understanding the characteristics of various users, contributing to better understanding of their requirements in specific scenarios. User-generated contents which directly reflect people’s thoughts and intention are a valuable source for profiling users

    更新日期:2020-04-22
  • Automated synthesis of local time requirement for service composition
    Softw. Syst. Model. (IF 1.876) Pub Date : 2020-03-13
    Étienne André, Tian Huat Tan, Manman Chen, Shuang Liu, Jun Sun, Yang Liu, Jin Song Dong

    Service composition aims at achieving a business goal by composing existing service-based applications or components. The response time of a service is crucial, especially in time-critical business environments, which is often stated as a clause in service-level agreements between service providers and service users. To meet the guaranteed response time requirement of a composite service, it is important

    更新日期:2020-04-22
  • Hardware architecture exploration: automatic exploration of distributed automotive hardware architectures
    Softw. Syst. Model. (IF 1.876) Pub Date : 2020-03-12
    Johannes Eder, Sebastian Voss, Andreas Bayha, Alexandru Ipatiov, Maged Khalil

    As the engineering of distributed embedded systems is getting more and more complex, due to increasingly sophisticated functionalities demanding more and more powerful hardware, model-based development of software-intensive embedded systems has become a de facto standard in recent years. Among other advantages, it enables design space exploration methods allowing for frontloading techniques which support

    更新日期:2020-04-22
  • The Software Language Extension Problem
    Softw. Syst. Model. (IF 1.876) Pub Date : 2019-12-21
    Manuel Leduc, Thomas Degueule, Eric Van Wyk, Benoit Combemale

    The problem of software language extension and composition drives much of the research in Software Language Engineering (SLE). Although various solutions have already been proposed, there is still little understanding of the specific ins and outs of this problem, which hinders the comparison and evaluation of existing solutionsIn this SoSyM Expert Voice, we introduce the Language Extension Problem

    更新日期:2020-04-22
  • Modelling the interplay of security, privacy and trust in sociotechnical systems: a computer-aided design approach
    Softw. Syst. Model. (IF 1.876) Pub Date : 2019-07-20
    Mattia Salnitri, Konstantinos Angelopoulos, Michalis Pavlidis, Vasiliki Diamantopoulou, Haralambos Mouratidis, Paolo Giorgini

    Personal data have become a central asset for multiple enterprise applications and online services offered by private companies, public organisations or a combination of both. The sensitivity of such data and the continuously growing legislation that accompanies their management dictate the development of methods that allow the development of more secure, trustworthy software systems with focus on

    更新日期:2020-04-22
  • ExpRunA : a domain-specific approach for technology-oriented experiments
    Softw. Syst. Model. (IF 1.876) Pub Date : 2019-08-05
    Eneias Silva, Alessandro Leite, Vander Alves, Sven Apel

    Conducting technology-oriented experiments (i.e., experiments in which treatments are applied to objects by a computer-based tool) without proper tool support is often a time-consuming and highly error-prone task. Although many techniques have been proposed to help conducting controlled experiments, none of them simultaneously addresses (1) the executable specification of experiments at a high level

    更新日期:2020-04-22
  • Extending organizational capabilities with Open Data to support sustainable and dynamic business ecosystems
    Softw. Syst. Model. (IF 1.876) Pub Date : 2019-09-18
    Jānis Kampars, Jelena Zdravkovic, Janis Stirna, Jānis Grabis

    Open Data (OD) is data available in a machine-readable format and without restrictions on the permissions for using or distributing it. OD may include textual artifacts, images, maps, video content, and other. The data can be published and maintained by different entities, both public and private. Despite its power to distribute knowledge freely and availability of a large number of datasets, OD initiatives

    更新日期:2020-04-22
  • Mining reading patterns from eye-tracking data: method and demonstration
    Softw. Syst. Model. (IF 1.876) Pub Date : 2019-10-12
    Constantina Ioannou, Indira Nurdiani, Andrea Burattin, Barbara Weber

    Understanding how developers interact with different software artifacts when performing comprehension tasks has a potential to improve developers’ productivity. In this paper, we propose a method to analyze eye-tracking data using process mining to find distinct reading patterns of how developers interacted with the different artifacts. To validate our approach, we conducted an exploratory study using

    更新日期:2020-04-22
  • A security requirements modelling language for cloud computing environments
    Softw. Syst. Model. (IF 1.876) Pub Date : 2019-09-25
    Haralambos Mouratidis, Shaun Shei, Aidan Delaney

    This paper presents a novel security modelling language and a set of original analysis techniques, for capturing and analysing security requirements for cloud computing environments. The novelty of the language lies in the integration of concepts from cloud computing, with concepts from security and goal-oriented requirements engineering to elicit, model and analyse security requirements for cloud

    更新日期:2020-04-22
  • Understanding MDE projects: megamodels to the rescue for architecture recovery
    Softw. Syst. Model. (IF 1.876) Pub Date : 2019-07-18
    Juri Di Rocco, Davide Di Ruscio, Johannes Härtel, Ludovico Iovino, Ralf Lämmel, Alfonso Pierantonio

    Conventional wisdom on Model-Driven Engineering (MDE) suggests that this software discipline is the key to achieve superior automation, whether it be refactoring, simulation, or code generation. However, the diversity of employed languages and technologies blurs the picture making it difficult to analyze existing MDE-based projects in order to retrieve architectural information to foster a better understanding

    更新日期:2020-04-22
  • Design methods for the new database era: a systematic literature review
    Softw. Syst. Model. (IF 1.876) Pub Date : 2019-06-27
    Noa Roy-Hubara, Arnon Sturm

    Abstract Over the last decade, a range of new database solutions and technologies have emerged, in line with the new types of applications and requirements that they facilitate. Consequently, various new methods for designing these new databases have evolved, in order to keep pace with progress in the field. In this paper, we systematically review these methods, with a view to better understanding

    更新日期:2020-03-20
  • CoqTL: a Coq DSL for rule-based model transformation
    Softw. Syst. Model. (IF 1.876) Pub Date : 2019-11-16
    Zheng Cheng, Massimo Tisi, Rémi Douence

    Abstract In model-driven engineering, model transformation (MT) verification is essential for reliably producing software artifacts. While recent advancements have enabled automatic Hoare-style verification for non-trivial MTs, there are certain verification tasks (e.g. induction) that are intrinsically difficult to automate. Existing tools that aim at simplifying the interactive verification of MTs

    更新日期:2020-03-20
  • On model-based analysis of organizational structures: an assessment of current modeling approaches and application of multi-level modeling in support of design and analysis of organizational structures
    Softw. Syst. Model. (IF 1.876) Pub Date : 2019-11-28
    Sybren de Kinderen, Monika Kaczmarek-Heß

    Abstract Conceptual modeling promises to support various analysis questions on organizational structures, such as allocation of tasks, responsibilities, and authority in an organization. In this paper, we first synthesize requirements on an organizational structure analysis from the business scholar literature and assess to what extent and how current modeling languages fulfill these. In particular

    更新日期:2020-03-20
  • Comparing and classifying model transformation reuse approaches across metamodels
    Softw. Syst. Model. (IF 1.876) Pub Date : 2019-11-12
    Jean-Michel Bruel, Benoit Combemale, Esther Guerra, Jean-Marc Jézéquel, Jörg Kienzle, Juan de Lara, Gunter Mussbacher, Eugene Syriani, Hans Vangheluwe

    Abstract Model transformations are essential elements of model-driven engineering (MDE) solutions, as they enable the automatic manipulation of models. MDE promotes the creation of domain-specific metamodels, but without proper reuse mechanisms, model transformations need to be developed from scratch for each new metamodel. In this paper, our goal is to understand whether transformation reuse across

    更新日期:2020-03-20
  • Model-driven process enactment for NFV systems with MAPLE
    Softw. Syst. Model. (IF 1.876) Pub Date : 2020-02-28
    Sadaf Mustafiz, Omar Hassane, Guillaume Dupont, Ferhat Khendek, Maria Toeroe

    Abstract The network functions virtualization (NFV) advent is making way for the rapid deployment of network services (NS) for telecoms. Automation of network service management is one of the main challenges currently faced by the NFV community. Explicitly defining a process for the design, deployment, and management of network services and automating it is therefore highly desirable and beneficial

    更新日期:2020-03-07
  • Model-based safety assessment with SysML and component fault trees: application and lessons learned
    Softw. Syst. Model. (IF 1.876) Pub Date : 2020-02-26
    Peter Munk, Arne Nordmann

    Abstract Mastering the complexity of safety assurance for modern, software-intensive systems is challenging in several domains, such as automotive, robotics, and avionics. Model-based safety analysis techniques show promising results to handle this challenge by automating the generation of required artifacts for an assurance case. In this work, we adapt prominent approaches and propose to augment of

    更新日期:2020-03-07
  • MDWA: a model-driven Web augmentation approach—coping with client- and server-side support
    Softw. Syst. Model. (IF 1.876) Pub Date : 2020-02-07
    Matias Urbieta, Sergio Firmenich, Gabriela Bosetti, Pedro Maglione, Gustavo Rossi, Miguel Angel Olivero

    Abstract Web augmentation is a set of techniques allowing users to define and execute software which is dependent on the presentation layer of a concrete Web page. Through the use of specialized Web augmentation artifacts, the end users may satisfy several kinds of requirements that were not considered by the analysts, developers and stakeholders that built the application. Although some augmentation

    更新日期:2020-03-07
  • A semi-automated BPMN-based framework for detecting conflicts between security, data-minimization, and fairness requirements
    Softw. Syst. Model. (IF 1.876) Pub Date : 2020-02-07
    Qusai Ramadan, Daniel Strüber, Mattia Salnitri, Jan Jürjens, Volker Riediger, Steffen Staab

    Abstract Requirements are inherently prone to conflicts. Security, data-minimization, and fairness requirements are no exception. Importantly, undetected conflicts between such requirements can lead to severe effects, including privacy infringement and legal sanctions. Detecting conflicts between security, data-minimization, and fairness requirements is a challenging task, as such conflicts are context-specific

    更新日期:2020-03-07
  • Integrated model-driven development of self-adaptive user interfaces
    Softw. Syst. Model. (IF 1.876) Pub Date : 2020-01-27
    Enes Yigitbas, Ivan Jovanovikj, Kai Biermeier, Stefan Sauer, Gregor Engels

    Abstract Modern user interfaces (UIs) are increasingly expected to be plastic, in the sense that they retain a constant level of usability, even when subjected to context changes at runtime. Self-adaptive user interfaces (SAUIs) have been promoted as a solution for context variability due to their ability to automatically adapt to the context-of-use at runtime. The development of SAUIs is a challenging

    更新日期:2020-03-07
  • A model-based architecture for interactive run-time monitoring
    Softw. Syst. Model. (IF 1.876) Pub Date : 2020-01-22
    Nicolas Hili, Mojtaba Bagherzadeh, Karim Jahed, Juergen Dingel

    Abstract We present a model-based architecture for monitoring executions of models of real-time and embedded systems. This architecture is highly configurable and allows for the combination of various run-time monitoring tools, not only for observing the system execution, but also for interacting with it. Using a variety of case studies, we illustrate the use of the architecture for connecting the

    更新日期:2020-03-07
  • Scalable modeling technologies in the wild: an experience report on wind turbines control applications development
    Softw. Syst. Model. (IF 1.876) Pub Date : 2020-01-22
    Abel Gómez, Xabier Mendialdua, Konstantinos Barmpis, Gábor Bergmann, Jordi Cabot, Xabier de Carlos, Csaba Debreceni, Antonio Garmendia, Dimitrios S. Kolovos, Juan de Lara

    Abstract Scalability in modeling has many facets, including the ability to build larger models and domain-specific languages (DSLs) efficiently. With the aim of tackling some of the most prominent scalability challenges in model-based engineering (MBE), the MONDO EU project developed the theoretical foundations and open-source implementation of a platform for scalable modeling and model management

    更新日期:2020-03-07
  • Lossless compaction of model execution traces
    Softw. Syst. Model. (IF 1.876) Pub Date : 2019-06-08
    Fazilat Hojaji, Bahman Zamani, Abdelwahab Hamou-Lhadj, Tanja Mayerhofer, Erwan Bousse

    Abstract Dynamic verification and validation (V&V) techniques are used to verify and validate the behavior of software systems early in the development process. In the context of model-driven engineering, such behaviors are usually defined using executable domain-specific modeling languages (xDSML). Many V&V techniques rely on execution traces to represent and analyze the behavior of executable models

    更新日期:2020-03-07
  • Thirteen years of SysML: a systematic mapping study
    Softw. Syst. Model. (IF 1.876) Pub Date : 2019-05-13
    Sabine Wolny, Alexandra Mazak, Christine Carpella, Verena Geist, Manuel Wimmer

    Abstract The OMG standard Systems Modeling Language (SysML) has been on the market for about thirteen years. This standard is an extended subset of UML providing a graphical modeling language for designing complex systems by considering software as well as hardware parts. Over the period of thirteen years, many publications have covered various aspects of SysML in different research fields. The aim

    更新日期:2020-03-07
  • Grand challenges in model-driven engineering: an analysis of the state of the research
    Softw. Syst. Model. (IF 1.876) Pub Date : 2020-01-06
    Antonio Bucchiarone, Jordi Cabot, Richard F. Paige, Alfonso Pierantonio

    Abstract In 2017 and 2018, two events were held—in Marburg, Germany, and San Vigilio di Marebbe, Italy, respectively—focusing on an analysis of the state of research, state of practice, and state of the art in model-driven engineering (MDE). The events brought together experts from industry, academia, and the open-source community to assess what has changed in research in MDE over the last 10 years

    更新日期:2020-03-07
  • Heterogeneous megamodel management using collection operators
    Softw. Syst. Model. (IF 1.876) Pub Date : 2019-06-22
    Rick Salay, Sahar Kokaly, Alessio Di Sandro, Nick L. S. Fung, Marsha Chechik

    Abstract Model management techniques help tame the complexity caused by the many models used in large-scale software development; however, these techniques have focused on operators to manipulate individual models rather than entire collections of them. In this work, we begin to address this gap by adapting the widely used map, reduce and filter collection operators for collections of models represented

    更新日期:2020-03-07
  • Modeling languages in Industry 4.0: an extended systematic mapping study
    Softw. Syst. Model. (IF 1.876) Pub Date : 2019-09-20
    Andreas Wortmann, Olivier Barais, Benoit Combemale, Manuel Wimmer

    Abstract Industry 4.0 integrates cyber-physical systems with the Internet of Things to optimize the complete value-added chain. Successfully applying Industry 4.0 requires the cooperation of various stakeholders from different domains. Domain-specific modeling languages promise to facilitate their involvement through leveraging (domain-specific) models to primary development artifacts. We aim to assess

    更新日期:2020-03-07
  • Applying static code analysis for domain-specific languages
    Softw. Syst. Model. (IF 1.876) Pub Date : 2019-04-06
    Iván Ruiz-Rube, Tatiana Person, Juan Manuel Dodero, José Miguel Mota, Javier Merchán Sánchez-Jara

    Abstract The use of code quality control platforms for analysing source code is increasingly gaining attention in the developer community. These platforms are prepared to parse and check source code written in a variety of general-purpose programming languages. The emergence of domain-specific languages enables professionals from different areas to develop and describe problem solutions in their disciplines

    更新日期:2020-03-07
  • Design and automation of a COSMIC measurement procedure based on UML models
    Softw. Syst. Model. (IF 1.876) Pub Date : 2019-04-25
    Gabriele De Vito, Filomena Ferrucci, Carmine Gravino

    Abstract Context. Many organizations are adopting the COSMIC method to size software products for estimating and controlling their development costs and performances. Using a functional size measurement method requires specialized expertise and can be time-consuming. Objectives. Since UML is the de facto industrial modeling language standard for object-oriented systems, it is very useful to understand

    更新日期:2020-03-07
Contents have been reproduced by permission of the publishers.
导出
全部期刊列表>>
材料学研究精选
Springer Nature Live 产业与创新线上学术论坛
胸腔和胸部成像专题
自然科研论文编辑服务
ACS ES&T Engineering
ACS ES&T Water
屿渡论文,编辑服务
杨超勇
周一歌
华东师范大学
南京工业大学
清华大学
中科大
唐勇
跟Nature、Science文章学绘图
隐藏1h前已浏览文章
中洪博元
课题组网站
新版X-MOL期刊搜索和高级搜索功能介绍
ACS材料视界
x-mol收录
福州大学
南京大学
王杰
左智伟
湖南大学
清华大学
吴杰
赵延川
中山大学化学工程与技术学院
试剂库存
天合科研
down
wechat
bug