A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf
.
Filters
Constructing Domain-Specific Component Frameworks through Architecture Refinement
2009
2009 35th Euromicro Conference on Software Engineering and Advanced Applications
Recently, a plethora of domain-specific component frameworks (DSCF) emerges. ...
Second, we develop a generic framework that automatically generates implementation of DomainComponents semantics, thus addressing domain-specific services with one unified approach. ...
The domain specific component model [22] , designed through the domain component concept, allowed us to construct a specific framework [20] addressing fully the challenges of RTSJ-based software development ...
doi:10.1109/seaa.2009.24
dblp:conf/euromicro/LoiretPMSM09
fatcat:7tzccyvugne7jlvb52y2ojqzki
metroII
2013
ACM Transactions on Embedded Computing Systems
Heterogeneity manifest itself in modeling their functionality as well as in the implementation platforms that include a multiplicity of components such as microprocessors, signal processors, peripherals ...
Therefore, each domain requires the development of specific architectural, performance and functional models. ...
Mapping constraints synchronize the execution of functional components with corresponding architectural components through events. ...
doi:10.1145/2435227.2435245
fatcat:goi4vowamfef7agnx2izmlhonq
Knowledge-Based Support for Object-Oriented Software Design and Synthesis: a category theoretic approach
2006
Sixth International Conference on Intelligent Systems Design and Applications
Second, it utilizes the ability of categorical computations to support automated software composition and refinement. ...
The major benefit of our approach is twofold: First, it provides an explicit semantics for formal object-oriented specifications, and therefore enables a high-level of reusability and dynamic adaptability ...
Case Study 1: Domain Framework Reuse First we show a simple example of domain-specific framework reuse through categorial constructions and refinements. ...
doi:10.1109/isda.2006.180
dblp:conf/isda/ZhengHX06
fatcat:vljttkupgnhrflhdlrtjsre3za
Towards an Architectural Design Framework for Automotive Systems Development
[chapter]
2013
Complex Systems Design & Management
This results in the definition of an architectural design framework for the automotive systems development currently implemented in a SysML specialization. ...
This paper discusses the concepts of Model-Based Systems Engineering (MBSE) and of Architecture Frameworks (AF) and presents some preliminary results of current initiatives at Renault on these subjects ...
Physical Context: refinement through the specification of the physical means the flows circulate through (mechanic, electric, network). ...
doi:10.1007/978-3-642-34404-6_16
dblp:conf/csdm/GongoraGP12
fatcat:hfemiezdonaenmh7o33y2hsx3e
From System Goals to Software Architecture
[chapter]
2003
Lecture Notes in Computer Science
This draft is refined to meet domain-specific architectural constraints. ...
construction. ...
Insightful discussions on architectural refinement with R. Riemenschneider and D. Perry are gratefully acknowledged. ...
doi:10.1007/978-3-540-39800-4_2
fatcat:t624xgfbh5ai3oejgzgifqmb2y
A generic model for software architectures
1997
IEEE Software
To address this need, the authors developed GenSIF, a generic framework to help developers understand software and integration issues in domain-specific, large-scale systems development. he software research ...
software architectures" label. ...
GENSIF-A GENERIC FRAMEWORK We are developing GenSIF within the context of ECBS problem specification, focusing on its architecture and process components. ...
doi:10.1109/52.595962
fatcat:hzzumnxxavdorf3flypat6fxhq
Specification and Design of Electrical Flight System Architectures with SysML
2012
Infotech@Aerospace 2012
In our approach, we develop a domain specific language for specifying electrical system architectures, and we propose a design flow for the specification and design of electrical interfaces. ...
In this work, we propose a model-centric approach to support the specification and design of electrical flight system architectures using the System Modeling Language (SysML). ...
The PBD methodology provides an intellectual framework where a design flow that implements a specification, proceeds through a sequence of refinement steps. ...
doi:10.2514/6.2012-2534
dblp:conf/itaero/McKelvinJ12
fatcat:crdwynojgjh23ne5z463hpinv4
Model Based Architecting and Construction of Embedded Systems (ACES-MB 2011)
[chapter]
2012
Lecture Notes in Computer Science
Eleven presenters proposed contributions on domain-specific languages for embedded systems, the Architecture Analysis and Design Language (AADL), analysis and formalization, semantics preservation issues ...
description and domain-specific design, and for capturing non-functional constraints. ...
Second, an underlying semantic framework can be used to map the domain-specific models onto a universal model. ...
doi:10.1007/978-3-642-29645-1_25
fatcat:qen65ronb5ci3asnad5ewd4ya4
Model Based Architecting and Construction of Embedded Systems (ACES-MB 2010)
[chapter]
2011
Lecture Notes in Computer Science
Eleven presenters proposed contributions on domain-specific languages for embedded systems, the Architecture Analysis and Design Language (AADL), analysis and formalization, semantics preservation issues ...
description and domain-specific design, and for capturing non-functional constraints. ...
Second, an underlying semantic framework can be used to map the domain-specific models onto a universal model. ...
doi:10.1007/978-3-642-21210-9_7
fatcat:7poy3zi7ibhxze5mm4muedjbcm
Model Based Architecting and Construction of Embedded Systems (ACES-MB 2009)
[chapter]
2010
Lecture Notes in Computer Science
Eleven presenters proposed contributions on domain-specific languages for embedded systems, the Architecture Analysis and Design Language (AADL), analysis and formalization, semantics preservation issues ...
description and domain-specific design, and for capturing non-functional constraints. ...
Second, an underlying semantic framework can be used to map the domain-specific models onto a universal model. ...
doi:10.1007/978-3-642-12261-3_7
fatcat:yefwjegxqba33ckm3n2focjw5m
Transformational Variability Modeling Approach to Configurable Business System Application
[chapter]
2012
Software Product Line - Advanced Topic
The definition of a constructor therefore has three parts: the specification of the input type, the specification of the output type and, the specification of the construction rule which defines, through ...
Business architecture description language FORM/BCS architecture description language is specified through the description of its four main concepts: feature business components, subsystem architecture ...
doi:10.5772/37776
fatcat:zyrna66jyrfhhmtykml744rpte
Patterns of Situational Method Engineering
[chapter]
2009
Studies in Computational Intelligence
We propose a set of SME process patterns obtained through studying existing method engineering approaches. The set of patterns is organized into a generic pattern-based framework for SME. ...
The framework can be used for developing SME processes according to the specific requirements of method engineering projects; the resulting SME processes can then be enacted to yield custom-built, project-specific ...
Also proposed are a set of method-engineering-specific process patterns that can be used for constructing method engineering approaches. ...
doi:10.1007/978-3-642-05441-9_24
fatcat:3vd7bhc7x5f5rfkvr7jxbuoyoe
A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures
2007
Proceedings of the 6th international conference on Generative programming and component engineering - GPCE '07
Middleware Model-driven development Software architecture Type systems a b s t r a c t Maintaining integrity and consistency, and effecting conformance in architectures of largescale systems require specification ...
component-based systems. ...
Based on a meta-model paradigm, GME generates a domain-specific modeling environment with entities defined in the paradigm available to graphically construct domain-specific models. ...
doi:10.1145/1289971.1289979
dblp:conf/gpce/JungH07
fatcat:s5wxh75sk5de7nwwix2rivrhvi
A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures
2010
Science of Computer Programming
Middleware Model-driven development Software architecture Type systems a b s t r a c t Maintaining integrity and consistency, and effecting conformance in architectures of largescale systems require specification ...
component-based systems. ...
Based on a meta-model paradigm, GME generates a domain-specific modeling environment with entities defined in the paradigm available to graphically construct domain-specific models. ...
doi:10.1016/j.scico.2009.12.008
fatcat:wwqnmyg75rhnri55mdcvx3gtqq
Process Patterns for Component-Based Software Development
[chapter]
2009
Lecture Notes in Computer Science
A generic process framework for component-based development has been proposed based on these process patterns. ...
The process patterns and the generic framework can be used for developing or tailoring a process for producing component-based systems. ...
Catalysis provides a framework for constructing component-based software. ...
doi:10.1007/978-3-642-02414-6_4
fatcat:cc6gbadel5ewdcq5sc4iyq46tu
« Previous
Showing results 1 — 15 out of 76,540 results