Filters








111,811 Hits in 4.9 sec

Formal Modelling of Components and Dependencies for Configuring Product-Service-Systems

Stephan Klingner, Michael Becker
2012 Enterprise Modelling and Information Systems Architectures - An International Journal  
The increasing entwinement of products and services in combined offers -so called Product-Service Systems (PSS) -leads to various requirements regarding the modelling of those systems.  ...  To provide such software a formal description of the structure of products and services is required. Furthermore, complex logical interdependencies between products and services need to be described.  ...  Implementation of an Information Production System (IPS) for Precision Farming' (support code 01IS12013B) and EUMONIS (support code 01IS10033D).  ... 
doi:10.1007/bf03345922 fatcat:lrrpakgw3bbp7ds6wj3bhutoci

Formal Modelling of Components and Dependencies for Configuring Product-Service-Systems

Stephan Klingner, Michael Becker
2015 Enterprise Modelling and Information Systems Architectures - An International Journal  
The increasing entwinement of products and services in combined offers – so called Product-Service Systems (PSS) – leads to various requirements regarding the modelling of those systems.  ...  To provide such software a formal description of the structure of products and services is required. Furthermore, complex logical interdependencies between products and services need to be described.  ...  Enterprise Modelling and Information Systems Architectures Vol. 0, No. 0, month 0000 20 Stephan Klingner and Michael Becker Implementation of an Information Production System (IPS) for Precision Farming  ... 
doi:10.18417/emisa.7.1.3 dblp:journals/emisaij/KlingnerB12 fatcat:t4mqnxtsg5emndfi6mfcvuhiyi

Development and Configuration of Service-based Product Lines

Alexander Gruler, Alexander Harhurin, Judith Hartmann
2007 11th International Software Product Line Conference (SPLC 2007)  
For the configuration of a concrete product we extend this framework by a feature-based model which allows to configure and derive single systems from a system family model.  ...  Addressing this trend we present an approach combining model-based development with product line techniques aiming at a consistent description of a software product family as well as supporting the configuration  ...  The formal relationships between features, services and components allow a dynamic adjustment of the architectural structure depending on chosen requirements, which is a prerequisite for the product line  ... 
doi:10.1109/spline.2007.4339260 fatcat:fsav5saycjgvteqvho6d6hqqda

Development and Configuration of Service-based Product Lines

Alexander Gruler, Alexander Harhurin, Judith Hartmann
2007 11th International Software Product Line Conference (SPLC 2007)  
For the configuration of a concrete product we extend this framework by a feature-based model which allows to configure and derive single systems from a system family model.  ...  Addressing this trend we present an approach combining model-based development with product line techniques aiming at a consistent description of a software product family as well as supporting the configuration  ...  The formal relationships between features, services and components allow a dynamic adjustment of the architectural structure depending on chosen requirements, which is a prerequisite for the product line  ... 
doi:10.1109/spline.2007.13 dblp:conf/splc/GrulerHH07 fatcat:7kslnfentje43awgc6lahndkpe

Linking Process Models and Service Configuration

Michael Becker, Stephan Klingner
2015 Enterprise Modelling and Information Systems Architectures - An International Journal  
This paper presents a holistic approach for modelling and configuring services by integrating the process model view.  ...  This is beneficial because it allows for validation and performance evaluation of customer-individual configurations.  ...  Using formal dependencies between components, the configuration can be automatically completed for ensuring validity.  ... 
doi:10.18417/emisa.10.1.2 dblp:journals/emisaij/BeckerK15 fatcat:yxyvn5ive5efnflvon4ez3iqvm

Recovering software product line architecture of a family of object-oriented product variants

Anas Shatnawi, Abdelhak-Djamel Seriai, Houari Sahraoui
2017 Journal of Systems and Software  
However, it is common for companies to develop, in an ad-hoc manner (e.g. clone and own), a set of products that share common services and differ in terms of others.  ...  Our goal is to identify the variability and dependencies among architecturalelement variants. Our work relies on formal concept analysis to analyze the variability.  ...  This is based on the services provided by the components. For instance, we check if the component service(s) requires the service(s) of a required component and so on.  ... 
doi:10.1016/j.jss.2016.07.039 fatcat:4o6igb533fberni762wqcwzeqq

A Service-Oriented UML Profile with Formal Support [chapter]

Roberto Bruni, Matthias Hölzl, Nora Koch, Alberto Lluch Lafuente, Philip Mayer, Ugo Montanari, Andreas Schroeder, Martin Wirsing
2009 Lecture Notes in Computer Science  
We present a UML Profile for the description of service oriented applications. The profile focuses on style-based design and reconfiguration aspects at the architectural level.  ...  We show how our prototypical implementation can be used to analyse and verify properties of a service oriented application.  ...  Service providers are represented by components, while (one-to-one) connectors are used to model service references. Modelling System Configurations.  ... 
doi:10.1007/978-3-642-10383-4_34 fatcat:zmt2eomaybc5rkkcpdhjdqayim

Integrating heterogeneous variability modeling approaches with invar

Deepak Dhungana, Dominik Seichter, Goetz Botterweck, Rick Rabiser, Paul Grünbacher, David Benavides, José A. Galindo
2013 Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems - VaMoS '13  
of the different modeling methods and tools used internally.  ...  Rather than enforcing a single modeling language, we present an integrative infrastructure that provides a unified perspective for users configuring products in such multi product line environments, regardless  ...  Spanish Government under project SETI (TIN2009-07366); and by the Andalusian Government under project THEOS (TIC-5906) and the Talentia program.  ... 
doi:10.1145/2430502.2430514 dblp:conf/vamos/DhunganaSBRGBG13 fatcat:k744fe44drh6hidaj6klwvjayq

Feature Oriented Analysis and Design for Dynamically Reconfigurable Product Lines [chapter]

Jaejoon Lee, Dirk Muthig
2009 Applied Software Product Line Engineering  
The pre-image graph L u of u is specified with the consideration of "require" and "exclude" dependencies of u. For the formal definition of a pre-image graph, the following sets are used.  ...  The plane consists of two types of components: Master Configurator and Local Configurator.  ... 
doi:10.1201/9781420068429-c13 fatcat:q4b6qy7minb4tgvwzqkempab5y

Organizational Structure Modeling of Innovative Company

Vladimir Mikhailovich Zotov
2021 Revista GEINTEC  
Restructuring usually comes down to subjective decisions of the top-management and often leads to an uncontrolled increase of the organizational units depending on its ambitions.  ...  Using the same factors of production as other market players, they are faster and more efficient due to a better work organization.  ...  In the vast majority of cases, the structure and content of the formalized part of the knowledge are determined by company's products and services.  ... 
doi:10.47059/revistageintec.v11i4.2201 fatcat:jkbabwjflfdmvipwssfne4jfuy

A Metamodel for Component-Based Service Modeling

Michael Becker, Stephan Klingner
2013 International Journal of Service Science Management Engineering and Technology  
This work presents a metamodel implementing standardization and modularization concepts. Furthermore, we provide a formal framework for service modeling and configuration.  ...  Due to industrialization of services, organizations need to establish new approaches for tackling challenges like increased competition, complexity, and pressure on the market because of prices.  ...  "Concepts for Modeling Services" introduces and describes concepts for modeling services. Applying these concepts, the section "FORMAL METAMODEL" formalizes the metamodel.  ... 
doi:10.4018/jssmet.2013040105 fatcat:4ncopj4q3jdwnlzwg6xshybb5i

A Formal Model of Distributed Systems For Test Generation Missions
English

Andrey A. Shchurov
2014 International Journal of Computer Trends and Technology  
This work introduces a formal four layered model for test generation missions on the basis of the component-based approach and the concept of layered networks.  ...  Nowadays, deployment of distributed systems sets high requirements for procedures and tools for the complex testing of these systems - virtualization and cloud technologies make another level of system  ...  ACKNOWLEDGMENT This research has been performed within the scientific activities at the Department of Telecommunication Engineering of the Czech Technical University in Prague, Faculty of Electrical Engineering  ... 
doi:10.14445/22312803/ijctt-v15p128 fatcat:74emdsvbrfcxfmueju2uleunaa

Acquiring Configuration Knowledge Bases in the Semantic Web Using UML [chapter]

Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach, Markus Stumptner, Markus Zanker
2002 Lecture Notes in Computer Science  
This paper outlines our approach for integrating Web-based sales systems for highly complex customizable products and services (configuration systems) making use of descriptive representation formalisms  ...  We show how to support both goals by demonstrating the applicability of the Unified Modeling Language (UML) for configuration knowledge acquisition and by providing a set of rules for transforming UML  ...  CAWICOMS is the acronym for Customer-Adaptive Web Interface for the Configuration of products and services with Multiple Suppliers (EC-funded project IST-1999-10688). 2 See http://www.daml.org/services  ... 
doi:10.1007/3-540-45810-7_31 fatcat:v4hscd4yrrfklkm6fplwy4hrvm

Semantic WebBased Analysis of Product Line Variant Model

Shamim Ripon, M. M. Piash, S. M. A. Hossain, M. S. Uddin
2014 International Journal of Computer and Electrical Engineering  
Feature diagrams are widely used to model software product line (SPL) variants. However, there is a lack of precisely defined formal notations for representing and verifying such models.  ...  However, no formal verification has been proposed for such product line model. This paper presents an approach to modeling and analyzing SPL model using semantic-web approach.  ...  Building software systems from previously developed components saves cost and time of redundant work, and improves the system and its maintainability.  ... 
doi:10.7763/ijcee.2014.v6.783 fatcat:l3mknsyjgbfyzcyghuosunwgni

Dynamic and automated product derivation for consumer electronics software applications

Ricardo V. De S. Rosa, Vicente De Lucena, Lucas Cordeiro, João Chaves Filho
2013 IEEE transactions on consumer electronics  
Software Product Lines (SPL) is an efficient software engineering approach for dealing with reusable components in products that not only share common features, but also support specific functionalities  ...  Despite having a significant common core, software applications developed for that domain have to be frequently adapted to different device features, such as operating systems and screen resolution.  ...  Software systems that are specified using LTL can be modeled as state transition systems by means of states and transitions. More formally: Definition 2.  ... 
doi:10.1109/tce.2013.6689703 fatcat:an4oqmxoyfanrjrl4frdkxzjfu
« Previous Showing results 1 — 15 out of 111,811 results