25,314 Hits in 9.1 sec

A Template-Based Methodology for the Specification and Automated Composition of Performability Models

Leonardo Montecchi, Paolo Lollini, Andrea Bondavalli
2019 IEEE Transactions on Reliability  
This paper provides a solution to this problem focusing on: formally defining the concept of model templates, defining a specification language for model templates, defining an automated instantiation  ...  Clearly defining libraries of reusable submodels, together with patterns for their composition, allows complex models to be automatically assembled, based on a high-level description of the scenario to  ...  ACKNOWLEDGMENT This work is related to the activities of the H2020 MSCA-RISE-2018 Project ADVANCE "Addressing Verification and Validation Challenges in Future Cyber-Physical Systems."  ... 
doi:10.1109/tr.2019.2898351 fatcat:jyz3ohuoubfipghis5z2goguwy

Euro-Mils: Building And Certifying Modular Secure Systems

Sergey Tverdyshev
2015 International Conference on High Performance Embedded Architectures and Compilers  
EURO-MILS presentation on building and certifying modular secure systems  ...  -The formal implementation contains proves for the proof obligations of the specification Formal Model induces modelling methodology Once Proof Obligations discharged for PikeOS, Intransitive  ...  Noninterference immediately follows Separation Formal models as Isabelle/HOL Source Code Specification Implementation Proof Formal Model for MILS System On-going work on a base formal model  ... 
doi:10.5281/zenodo.47972 dblp:conf/hipeac/Tverdyshev15 fatcat:utacckg62jeobe6lpkzllamer4

Template-Based Adaptation of Semantic Web Services with Model-Driven Engineering

Athanasios Staikopoulos, Owen Cliffe, Razvan Popescu, Julian Padget, Siobhán Clarke
2010 IEEE Transactions on Services Computing  
In this paper, we propose a modeldriven approach for the dynamic adaptation of Web services based on ontology-aware service templates.  ...  Service templates are based on OWL-S descriptions and provide the necessary means to capture and parameterize specific behavior patterns of service models.  ...  Section 4 proposes a methodology for the adaptation of services based on a model-driven approach. Section 5 presents our approach in the context of the ALIVE framework.  ... 
doi:10.1109/tsc.2010.30 fatcat:tkrgyso2andmnktzn4wzaa75ay

A tag-based approach for the design and composition of information processing applications

Eric Bouillet, Mark Feblowitz, Zhen Liu, Anand Ranganathan, Anton Riabov
2008 SIGPLAN notices  
, supporting varying degrees of manual to automated assembly for specific types of applications.  ...  We propose a novel paradigm for composition in flow-based information processing systems, where application design and component development are facilitated by the pervasive use of faceted, tag-based descriptions  ...  For automated composition, the Flow Composer consults a repository of tag-based component descriptions and generates a set of all possible flows.  ... 
doi:10.1145/1449955.1449810 fatcat:w75oaxzzczfzxpi4jmkskf5pfi

Petri Net Based Engineering and Software Methodology for Service-Oriented Industrial Automation [chapter]

J. Marco Mendes, Francisco Restivo, Paulo Leitão, Armando W. Colombo
2010 IFIP Advances in Information and Communication Technology  
This paper presents an overview of the current results on a unified and integrated methodology based on intrinsic and novel features of Petri nets.  ...  One promising solution are service-oriented industrial automation systems, but integrated software methodologies and major frameworks for the engineering are still missing.  ...  FP6 "Network of Excellence for Innovative Production Machines and Systems" (I*PROMS), and the European ICT FP7 project "Cooperating Objects Network of Excellence" (CONET) for their support.  ... 
doi:10.1007/978-3-642-11628-5_25 fatcat:mi4otsyhabaeliwxtpwtedn5rq

Dynamic Composition and Analysis of Modern Service-Oriented Information Systems [chapter]

Habib Abdulrab, Eduard Babkin, Jeremie Doucy
2013 Dynamics of Information Systems: Algorithmic Approaches  
The approach consists of several steps of modelling and finite scope logical analysis for automated translation of business processes into the sequence of service invocations.  ...  This chapter proposes the approach to solution of the stated problem based on such concepts as model-driven architecture (MDA), ontology modelling and logical analysis.  ...  Also for creation and further maintenance of information systems the majority of industrial developers perform system modeling in different styles, and finally execute manual or semi-automated composition  ... 
doi:10.1007/978-1-4614-7582-8_2 fatcat:jmcrozzob5acjlc6nqdywunjzy

A service-oriented modeling and simulation framework for rapid development of distributed applications

W.T. Tsai, Chun Fan, Yinong Chen, Ray Paul
2006 Simulation modelling practice and theory  
of different architectures with a template-based platform builder, service-oriented multi-agent simulation for easy re-configuration and re-composition, formal policy specification and enforcement for  ...  The distinct features of the framework include a modeling and specification language, dynamic model checking for completeness and consistency, automated code generation from the specification, simulation  ...  In the specification phase, a scenario-based modeling and specification language is provided for users to model and specify the system.  ... 
doi:10.1016/j.simpat.2005.10.005 fatcat:reek3le235dixdqo4s6sonvqvq

An Overview of Service Composition in Service Oriented Architecture

Faten hamad
2018 Modern Applied Science  
In order to assure the effectiveness of Service oriented architecture we have to confirm service composition which is the collection of services together in order to perform a specific function which can  ...  In this paper we proposed a Service composition in SOA, it is present service composition with various techniques used for composing services and provided a comparison between them.  ...  Wsmo Template based composition Siddiqui et al. (2012) Proposes the template-based composition which parts the determination and composition methodology the middle of two phases.  ... 
doi:10.5539/mas.v12n8p172 fatcat:2nimb7jsnrf5poaspjjjjhhufy

IEC 61499 function block implementation of Intelligent Mechatronic Component

Cheng Pang, Valeriy Vyatki
2010 2010 8th IEEE International Conference on Industrial Informatics  
In particular, this paper tries to address two issues during the engineering process of IMCs: a systematic approach of developing and organizing IMC elements and a seamless and scalable way supporting  ...  IMC composition and reconfiguration.  ...  General CAEX Concepts The essence of CAEX is the XML-based CAEX schema, which unites model and meta-model techniques into a single template.  ... 
doi:10.1109/indin.2010.5549584 fatcat:ncvaurts7zh6rmstg4upat3d6a

Інформаційна технологія для розробки та впровадження web-застосунків

Sergii Telenyk, Grzegosz Nowakowski, Eduard Zharikov, Yevhenii Vovk
2019 Adaptivni Sistemi Avtomatičnogo Upravlinnâ  
An important feature of the approach is the ability to 3D-visualize the process of designing the system, which creates conditions for effective interaction between developers and machine development tools  ...  The approach is based on defining the standard web application architecture and selecting its components using formal methods in accordance with user requirements.  ...  Formalization is very specific in modern methodologies [1] [2] [3] [4] . In classical methodologies it was considered as the basis of automation, CASE-tools.  ... 
doi:10.20535/1560-8956.1.2019.178242 fatcat:bmef3z7xpbaqvlujwpwce32v4q

Network and service co-management addressing QoE and optimised resource allocation

E. Kosmatos, N. Tzavalas, A. Kaloxylos, A. Alonistioti
2012 2012 IEEE 17th International Workshop on Computer Aided Modeling and Design of Communication Links and Networks (CAMAD)  
The network and service co-management of such a chaotic environment is a very intricate task which requires a notion of automation, harmonization and efficiency not foreseen by the current management frameworks  ...  translations, by classifying the business goals based on KPIs, and by facilitating ontologies and ontological rules to all steps of policy translation.  ...  ACKNOWLEDGMENT The research leading to these results has been performed within the UniverSelf project and received funding from the European Community's Seventh Framework Programme (FP712007-2013) under  ... 
doi:10.1109/camad.2012.6335329 dblp:conf/camad/KosmatosTKA12 fatcat:cog2hdq4dbadrhskz32jopc25u

DoCoSOC- Domain Configurable Service-Oriented Computing

Cristina Marin, Philippe Lalanda
2007 IEEE International Conference on Services Computing (SCC 2007)  
This paper presents DoCoSOC -a multi-domain development environment that automates service composition-that uses domain SOA models to automate service composition.  ...  The Service-Oriented Computing (SOC) paradigm promotes the use of basic composition units -services -to support the rapid development of distributed applications.  ...  Domain SOA metamodel To automate the composition of services in a given context, the specifics of the corresponding SOA must be properly captured and modeled.  ... 
doi:10.1109/scc.2007.51 dblp:conf/IEEEscc/MarinL07 fatcat:wx556ajguze4vpvbdmd46hxfgy

PICO: automatically designing custom computers

V. Kathail, S. Aditya, R. Schreiber, B. Ramakrishna Rau, D.C. Cronquist, M. Sivaraman
2002 Computer  
The PICO (program in, chip out) project at HP Labs automates the design of optimized, application-specific computer systems. PICO uses an appli-  ...  We thank Henk Corporaal for providing the code for the attractive GUI to his MOVE infrastructure, from which we Framework-based automation offers a powerful methodology for automating the design of complex  ...  processors and computer systems. developed PICO's GUI, and Wen-mei Hwu and his IMPACT group for providing Elcor's machineindependent front end.  ... 
doi:10.1109/mc.2002.1033026 fatcat:nqa5tazc5zfixew3lwznahgmne

A GEMMA-GRAFCET Generator for the Automation Software of Smart Manufacturing Systems

Juan Manuel Castillo, Giacomo Barbieri, Alejandro Mejia, José Daniel Hernandez, Kelly Garces
2021 Machines  
In this context, the GEMMA-GRAFCET Methodology (GG-Methodology) provides a standard approach and vocabulary for the management of the Operational Modes (OMs) of SMSs through the automation software, bringing  ...  of SMSs through the standardization of the automation software for the management of their OMs.  ...  First, the template model was instantiated for the specification of the automation software of the filling and encapsulating machine through the GG-Representation (Figure 7) .  ... 
doi:10.3390/machines9100232 fatcat:rc34wvslhfdenodrkd3cgtc6jy

Design Automation for Smart Building Systems

Ruoxi Jia, Baihong Jin, Ming Jin, Yuxun Zhou, Ioannis C. Konstantakopoulos, Han Zou, Joyce Kim, Dan Li, Weixi Gu, Reza Arghandeh, Pierluigi Nuzzo, Stefano Schiavon (+2 others)
2018 Proceedings of the IEEE  
In this paper, we present a platform-based methodology for smart building design.  ...  This paper presents a platform-based design flow for smart buildings.  ...  In this paper, we use platform-based design (PBD) as a unifying methodology to support automated, structured, and integrated building application design.  ... 
doi:10.1109/jproc.2018.2856932 fatcat:k64nybnec5buhjp2l5wbv55l4e
« Previous Showing results 1 — 15 out of 25,314 results