Filters








76,540 Hits in 9.0 sec

Constructing Domain-Specific Component Frameworks through Architecture Refinement

Frédéric Loiret, Aleš Plšek, Philippe Merle, Lionel Seinturier, Michal Malohlava
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

Abhijit Davare, Douglas Densmore, Liangpeng Guo, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli, Alena Simalatsar, Qi Zhu
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

Yujun Zheng, Qimin Hu, Jinyun Xue
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]

Hugo G. Chalé Góngora, Thierry Gaudré, Sara Tucci-Piergiovanni
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]

Axel van Lamsweerde
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

W. Rossak, V. Kirova, L. Jolian, H. Lawson, T. Zemel
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

Mark McKelvin, Jr., Alejandro Jimenez
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]

Stefan Van Baelen, Sébastien Gérard, Ileana Ober, Thomas Weigert, Huascar Espinoza, Iulian Ober
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]

Stefan Van Baelen, Iulian Ober, Huascar Espinoza, Thomas Weigert, Ileana Ober, Sébastien Gérard
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]

Stefan Van Baelen, Thomas Weigert, Ileana Ober, Huascar Espinoza, Iulian Ober
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]

Marcel Fouda, Amougou Ngoumou
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]

Mohsen Asadi, Raman Ramsin
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

Georg Jung, John Hatcliff
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

Georg Jung, John Hatcliff
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]

Ehsan Kouroshfar, Hamed Yaghoubi Shahir, Raman Ramsin
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