Filters








63,072 Hits in 4.3 sec

A Timed Component Algebra for Services [chapter]

Benoît Delahaye, José Luiz Fiadeiro, Axel Legay, Antónia Lopes
2013 Lecture Notes in Computer Science  
We present a component algebra for services that can guarantee time-related properties.  ...  Finally, we show how those conditions can be checked, at design time, over timed I/O automata as orchestrations of services, thus ensuring that, when binding a client with a supplier service at run time  ...  This work was partially supported by Fundação para a Ciência e Tecnologia under contract (PTDC/EIA-EIA/103103/2008).  ... 
doi:10.1007/978-3-642-38592-6_17 fatcat:rjpwbcya4vgddcqad7ndwru7ru

Monitoring conversational web services

Domenico Bianculli, Carlo Ghezzi
2007 2nd international workshop on Service oriented software engineering in conjunction with the 6th ESEC/FSE joint meeting - IW-SOSWE '07  
We propose a monitoring approach based on an algebraic specification language and we show how this can be integrated into a run-time monitoring architecture.  ...  The dynamic nature of web service compositions demands continuous monitoring of the quality of the provided service, as perceived by the client.  ...  Monitoring is a necessary component of a run-time validation facility.  ... 
doi:10.1145/1294928.1294933 dblp:conf/sigsoft/BianculliG07 fatcat:je7lpufxt5dybcx6g6optq7bna

Component-Based Construction of Heterogeneous Real-Time Systems in Bip [chapter]

Joseph Sifakis
2009 Lecture Notes in Computer Science  
We need an all-encompassing component-based construction framework for Mastering complexity through componentization Enhanced verifiability by compositional reasoning Comparing different architectural  ...  (Cyclic Trigger) Service Task ::= (Timed Task) | (Untimed Task) Idle: the Service is idle Ready: checks the possibility for starting a new Task of the Service Exec: exécution of the Task of the Service  ...  Timed Task Cyclic Service ::= Cyclic Controller . Timed Task The DALA Robot: A Module A module composed of 3 services and a poster Cyclic Controller ::= (Event Triggered Controller) .  ... 
doi:10.1007/978-3-642-02424-5_1 fatcat:ptx772ywubgqlmvxfpgjashtge

An Event Algebra Extension of the Triggering Mechanism in a Component Model for Embedded Systems

Jan Carlson, Mikael Åkerholm
2005 Electronical Notes in Theoretical Computer Science  
In this article we present how the component triggering in SaveCCM, a component model intended for embedded vehicular systems, can be extended by means of an event algebra.  ...  Providing event detection mechanisms within the component model means that triggering conditions are explicitly available for system analysis at design time.  ...  ., the READY event notification service by Gruber et al. that contains a simple event algebra for registering event patterns [9] .  ... 
doi:10.1016/j.entcs.2005.02.049 fatcat:sednvqsrebfnndy3qbma5bko6i

An incremental verification framework for component-based software systems

Kenneth Johnson, Radu Calinescu, Shinji Kikuchi
2013 Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering - CBSE '13  
We present a tool-supported framework for the efficient reverification of component-based software systems after changes such as additions, removals or modifications of components.  ...  The resulting instance of the INVEST framework can reverify probabilistic safety properties of a cloud-deployed software system in a fraction of the time required by compositional assumeguarantee verification  ...  We specify an algebra for each sort of component and the operations we define will be used to construct a term representation of the whole service.  ... 
doi:10.1145/2465449.2465456 dblp:conf/cbse/JohnsonCK13 fatcat:jcsnxqn4i5aw5o23usz6eoorru

Predicting the Performance of Component-Based Software Architectures with Different Usage Profiles [chapter]

Heiko Koziolek, Steffen Becker, Jens Happe
2007 Lecture Notes in Computer Science  
A case study on a component-based architecture for a web portal validates the approach and shows that it is capable of supporting a design decision in this scenario.  ...  However, the response times of a component might depend on its configuration in a specific setting and the data send to or retrieved from it.  ...  Analytical Model The computation of a service's execution time uses a stochastic process algebra (SPA) based on regular expressions.  ... 
doi:10.1007/978-3-540-77619-2_9 fatcat:ci7wdbdsirapdpupa5ybt37nlm

Formalizing and Validating UML Architecture Description of Service-Oriented Applications [chapter]

Zhijiang Dong, Yujian Fu, Xudong He, Yue Fu
2008 Petri Net, Theory and Applications  
Preliminaries Overview of SO-SAM is an extended version of SAM [44] with the web service oriented features. is a general formal framework for specifying and analyzing service-oriented architecture with  ...  In this paper, we choose algebraic high level nets [17] and linear time first order temporal logic as the underlying complementary formalisms of SAM.  ...  Such a imported algebraic specification generally defines only one sort, like Packet for component Packetizer.  ... 
doi:10.5772/5331 fatcat:vem5h7sf4nfe5prmb2uqnzogwq

Invited Response to Computer Journal Lecture by Prof. Jane Hillston

J. T. Bradley, N. Thomas, R. A. Hayden, A. Stefanek
2011 Computer journal  
Figure 2 shows the probability that the service requirement is met for a certain time threshold t, as the number of servers m is varied from 0 to 70.  ...  FIGURE 2 . 2 Varying the number of servers for distinct time thresholds, t, in the service level objective for t = 20, 14 and 8.  ... 
doi:10.1093/comjnl/bxr117 fatcat:qp6h73eyhfdadj3sn4uwwq5x3a

Formalizing and validating UML architecture description of web systems

Yujian Fu, Zhijiang Dong, Xudong He
2006 Workshop proceedings of the sixth international conference on Web engineering - ICWE '06  
Unified Modeling Language (UML), a widely accepted object-oriented system modeling and design language, and adapted for software architecture descriptions for several years, has been used for the web system  ...  However, it is hard to detect the system problems, such as correctness, consistency etc., of the integration of Web services without a formal semantics of web services architecture.  ...  For instance, the behavior of a composite service needs to be consistent with its composed services.  ... 
doi:10.1145/1149993.1150002 dblp:conf/icwe/FuDH06a fatcat:35ugy3e5ljcspoe52pz7he5ply

ÆMPA

Marco Bernardo, Paolo Ciancarini, Lorenzo Donatiello
2000 Proceedings of the second international workshop on Software and performance - WOSP '00  
The proposed architectural description language is based on stochastically timed process algebras by virtue of their compositionality, which makes them suited to work with at the architectural level.  ...  We address the problem of describing and analyzing not only functional but also performance properties of software architectures in a formal framework.  ...  Second, stochastically timed process algebras allow for compositional model manipulation.  ... 
doi:10.1145/350391.350394 dblp:conf/wosp/BernardoCD00 fatcat:4luczw5ltjhche7fmty6ka5vgq

Scripting Coordination Styles [chapter]

Franz Achermann, Stefan Kneubuehl, Oscar Nierstrasz
2000 Lecture Notes in Computer Science  
We show how several coordination styles can be defined and applied using Piccola, a small language for composing software components.  ...  We propose an approach in which coordination styles are expressed as "component algebras": components of various sorts can be combined using operators that realize their coordination, yielding other sorts  ...  Acknowledgements We thank the members of the SCG for stimulating discussions on this topic, in particular Jean-Guy Schneider and Sander Tichelaar for helpful comments on a draft of this paper.  ... 
doi:10.1007/3-540-45263-x_2 fatcat:rbbcxhtdnzbdvjc4hpcufuvxta

Distributed redundancy and robustness in complex systems

Martin Randles, David Lamb, E. Odat, A. Taleb-Bendiab
2011 Journal of computer and system sciences (Print)  
It is shown, through experimentation on a simulation, that increasing the average algebraic connectivity across the components, in a network, leads to an increase in the variety of individual components  ...  termed distributed redundancy; the capacity for structurally distinct components to perform an identical function in a particular context.  ...  Fig. 2 provides an overview of a deliberation process: In this example a component consists of a network of linked services, there will be a trigger for evolution, such as a service failure or network  ... 
doi:10.1016/j.jcss.2010.01.008 fatcat:7e6ureui7vc35o5ajkhaqi2l3q

Lessons Learned from Using CORBA for Components in Scientific Computing [chapter]

Andreas Weber, Gabor Simon, Wolfgang Küchlin, Jörg Hoss
2000 Computer Algebra in Scientific Computing  
The Common Object Request Broker Architecture (CORBA) provides a component framework that can be used for Internet accessible mathematical services and also for the efficient reuse of medium grained size  ...  Moreover, architectures for Internet accessible mathematical services have been proposed.  ...  In those papers only some of the possibilities have been treated: The use of CORBA for generating components that can be linked together [10] , the use of Java for algebraic components [4] , or using  ... 
doi:10.1007/978-3-642-57201-2_31 fatcat:mv7skbwpsbhrvhlnp4pr7sbmfi

SymGrid-Par: Designing a Framework for Executing Computational Algebra Systems on Computational Grids [chapter]

Abdallah Al Zain, Kevin Hammond, Phil Trinder, Steve Linton, Hans-Wolfgang Loidl, Marco Costanti
2007 Lecture Notes in Computer Science  
SymGrid-Par is a new framework for executing large computer algebra problems on computational Grids.  ...  We present the design of SymGrid-Par, which supports multiple computer algebra packages, and hence provides the novel possibility of composing a system using components from different packages.  ...  Figure 8 shows the corresponding activity profile for the GpH component.  ... 
doi:10.1007/978-3-540-72586-2_90 fatcat:3x4c7ohd2ff3xgvvkdttq4fuky

Analysis of component-based approaches toward componentized 5G

Elie El Hayek, Imen Grida Ben Yahia, Damian Arellanes, Kung-Kiu Lau
2018 2018 21st Conference on Innovation in Clouds, Internet and Networks and Workshops (ICIN)  
This leads us to the question: what componentization approach to implement this modular architecture? Is there a componentization approach that is suitable for all the network functions?  ...  In this regards, the 5G functional architecture is designed as service-based seeking to support the concept of Network Slicing.  ...  Fig. 1 . 1 Potential views of an autonomic component TABLE I I Componentization paradigm will be a good practice for a precise software development and not for general purpose ones, like for example  ... 
doi:10.1109/icin.2018.8401611 dblp:conf/icin/HayekYAL18 fatcat:hlbosg3mjjfgnbjm4po4w66dpa
« Previous Showing results 1 — 15 out of 63,072 results