103 Hits in 4.7 sec

Semantic Differencing for Message-Driven Component & Connector Architectures

Arvid Butting, Oliver Kautz, Bernhard Rumpe, Andreas Wortmann
2017 2017 IEEE International Conference on Software Architecture (ICSA)  
Where architecture description languages (ADLs) support refinement checking, the complexity of their semantic domain requires (partially) manual proving to establish refinement between component versions  ...  Leveraging this, we present a refinement checking method for ADLs yielding semantics that can be expressed as stream processing functions.  ...  Wortmann: Semantic Differencing for Message-Driven Component & Connector Architectures. In: International Conference on Software Architecture (ICSA'17), pages 145-154.  ... 
doi:10.1109/icsa.2017.34 dblp:conf/icsa/ButtingKRW17 fatcat:bcxa77lqfvh4pjkmq2de46ms2m

A comprehensive approach for the development of modular software architecture description languages

Eric M. Dashofy, André van der Hoek, Richard N. Taylor
2005 ACM Transactions on Software Engineering and Methodology  
Research over the past decade has revealed that modeling software architecture at the level of components and connectors is useful in a growing variety of contexts.  ...  To support this extensibility, we have developed a set of reflective syntax-based tools that adapt to language changes automatically, as well as several semantically-aware tools that provide support for  ...  ACKNOWLEDGMENTS The authors would first like to acknowledge and thank the anonymous reviewers for their invaluable insights about this article which greatly assisted us in shaping and scoping this work  ... 
doi:10.1145/1061254.1061258 fatcat:d2m4qxrvhzb3jae4cba5j7rrry

Composition of architectural models: Empirical analysis and language support

Nelis Boucké, Danny Weyns, Tom Holvoet
2010 Journal of Systems and Software  
problems in software architecture.  ...  To understand the underlying problems, we analyze several non-trivial software architectures.  ...  The first part of the rule (lines 2-3) captures the semantics of a unified component or connector.  ... 
doi:10.1016/j.jss.2010.06.011 fatcat:crtyspll45epzlp5wlc26e4kca

Innovations in Model-based Software And Systems Engineering

Katrin Hölldobler, Judith Michael, Jan Oliver Ringert, Bernhard Rumpe
2019 Journal of Object Technology  
Many software modeling languages used for software modeling are either describing component structure (and thus architecture), data structure (and thus informational content) or behavior (and thus state  ...  Semantics for a DSL (in the sense of "meaning") completes the DSL definition process.  ...  in Component and Connector Diagrams.  ... 
doi:10.5381/jot.2019.18.1.r1 fatcat:7cnjossiqrcjvfq72oplddujba

Pounamu: A meta-tool for exploratory domain-specific visual language tool development

Nianping Zhu, John Grundy, John Hosking, Na Liu, Shuping Cao, Akhil Mehra
2007 Journal of Systems and Software  
use, and a need for an open architecture for tool integration.  ...  We describe the motivation for Pounamu, its architecture and implementation and illustrate examples of domain-specific visual language tools that we have developed with Pounamu.  ...  These range from user interface coupling techniques [8] , collaborative editing and authoring [35] , and flexible, component-based architectures for collaboration [42] [46][35] [8] .  ... 
doi:10.1016/j.jss.2006.10.028 fatcat:6i7cvnbys5byxnjd44kdttjg3y

Generating Domain-Specific Visual Language Tools from Abstract Visual Specifications

John C. Grundy, John Hosking, Karen Na Li, Norhayati Mohd Ali, Jun Huh, Richard Lei Li
2013 IEEE Transactions on Software Engineering  
We describe a set of key conceptual requirements for such tools and our approach to addressing these requirements, a set of visual language-based meta-tools.  ...  Domain-specific visual languages support high-level modeling for a wide range of application domains. However, building tools to support such languages is very challenging.  ...  A highlevel architectural component model allows Tool Developers to specify intra-and inter-tool communication and coordination.  ... 
doi:10.1109/tse.2012.33 fatcat:d34ghvcr2nbhdlrn6n5tb3d5sy

An Application Driven Analysis of the ParalleX Execution Model [article]

Matthew Anderson, Maciej Brodowicz, Hartmut Kaiser, Thomas Sterling
2011 arXiv   pre-print
., the Communicating Sequential Processes (CSP) model best exemplified by the message passing interface (MPI) application programming interface.  ...  The overheads associated with HPX are explored and hardware solutions are introduced for accelerating the runtime system.  ...  Liebling and Steven Brandt for useful discussions and  ... 
arXiv:1109.5201v1 fatcat:buuunl45i5cadhma2dhopaimgi

Intermediary infrastructures for the World Wide Web

Marios D. Dikaiakos
2004 Computer Networks  
Finally, we examine intermediary infrastructures designed to extend the support of the core network for the development and deployment of new services.  ...  We classify different intermediary systems into three categories, based on their functionality and focus: First, we investigate notification intermediaries, which are driven by end-user profiles and operate  ...  The author wishes to thank the anonymous reviewers for their helpful comments and suggestions.  ... 
doi:10.1016/j.comnet.2004.02.008 fatcat:ecavuv2wkva3djzcom6jpoduoa

Towards Consistency Management for a Business-Driven Development of SOA

Karim Dahman, Francois Charoy, Claude Godart
2011 2011 IEEE 15th International Enterprise Distributed Object Computing Conference  
The usage of the Service Oriented Architecture (SOA) along with the Business Process Management has emerged as a valuable solution for the complex (business process driven) system engineering.  ...  With a Model Driven Engineering where the business process models drive the supporting service component architectures, less effort is gone into the Business/IT alignment during the initial development  ...  ., connectors).  ... 
doi:10.1109/edoc.2011.30 dblp:conf/edoc/DahmanCG11 fatcat:ot33ltchazh7rmjvvyvq4xcrwq

Towards Consistency Management For A Business-Driven Development Of Soa

Franc¸Ois Charoy Karim Dahman
2013 Zenodo  
The usage of the Service Oriented Architecture (SOA) along with the Business Process Management has emerged as a valuable solution for the complex (business process driven) system engineering.  ...  With a Model Driven Engineering where the business process models drive the supporting service component architectures, less effort is gone into the Business/IT alignment during the initial development  ...  ., connectors).  ... 
doi:10.5281/zenodo.6950 fatcat:okrobvopb5ajjgczhkejwvm6uu

Learning Domain-Specific Edit Operations from Model Repositories with Frequent Subgraph Mining [article]

Christof Tinnes and Timo Kehrer and Mitchell Joblin and Uwe Hohenstein and Andreas Biesdorf and Sven Apel
2021 arXiv   pre-print
We evaluate our approach in two controlled experiments and one real-world case study of a large-scale industrial model-driven architecture project in the railway domain.  ...  Model transformations play a fundamental role in model-driven software development.  ...  This will allow us also to deal with examples where the connected components of the difference graph are huge.  ... 
arXiv:2108.01001v2 fatcat:w63bgxf74zbozf62gxtckeszdy

Efficiently supporting secure and reliable collaboration in scientific workflows

Jiangang Ma, Jinli Cao, Yanchun Zhang
2010 Journal of computer and system sciences (Print)  
In this paper, we present an access control framework and models for supporting secure and reliable collaboration.  ...  For instance, Bao [3] studies differencing provenance issues in scientific workflows based solely on control flow for its simplicity of presentation.  ...  In traditional database systems and workflows [17, 18, 20, 23, 40] , the consistency of sharing data and administration among components can be achieved through implementing strict transaction semantics  ... 
doi:10.1016/j.jcss.2009.11.008 fatcat:vjjpdlqrpnbhxdz5no5wcghode

Towards a Round-Trip Support for Model-Driven Engineering of Embedded Systems

Federico Ciccozzi, Antonio Cicchetti, Mikael Sjodin
2011 2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications  
In this direction, model-driven and component-based software engineering have reached the status of promising paradigms for the development of complex systems.  ...  However, in order for them and their combination to definitively break through at industrial level, code generated from models through model transformations should preserve system properties modelled at  ...  A typical case for such a granularity is the component's operation in a component-based architecture.  ... 
doi:10.1109/seaa.2011.39 dblp:conf/euromicro/CiccozziCS11 fatcat:jzncuhns5rdxfbffl3fahbvkzq

Translating grammars to accurate metamodels

Arvid Butting, Nico Jansen, Bernhard Rumpe, Andreas Wortmann
2018 Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering - SLE 2018  
Existing work on translating grammars to Ecore metamodels features very cursory translations only, which requires re-engineering intricacies natural to grammars for the metamodels again.  ...  We also presented a realization of our concept that translates MontiCore grammars into Ecore metamodels with OCL incorporating a solver generated for each metamodel class.  ...  Conclusion We presented a concept for translating EBNF-like grammars into accurate metamodels that employs OCL constraints to specify the implicit cardinalities imposed by grammar rules featuring disjunctions  ... 
doi:10.1145/3276604.3276605 dblp:conf/sle/ButtingJRW18 fatcat:gb532b6kyzdwhi5illkisvkapu

Model-Driven Software Engineering in Practice: Second Edition

Marco Brambilla, Jordi Cabot, Manuel Wimmer
2017 Synthesis Lectures on Software Engineering  
is is known as Model-Driven Software Engineering (MDSE) or, simply, Model-Driven Engineering (MDE).  ...  example of the creation of a new modeling language (IFML), discussion of modeling issues and approaches in specific domains, like business process modeling, user interaction modeling, and enterprise architecture  ...  . • Architecture: e specification of the parts and connectors of the system and the rules for the interactions of the parts using the connectors. • Platform: A set of subsystems and technologies that  ... 
doi:10.2200/s00751ed2v01y201701swe004 fatcat:u5mnfbdrkrhw5lrerbbewxbc7e
« Previous Showing results 1 — 15 out of 103 results