Filters








163,155 Hits in 5.4 sec

Quality Prediction in Service Composition Frameworks [chapter]

Benjamin Klatt, Franz Brosch, Zoya Durdik, Christoph Rathfelder
2012 Lecture Notes in Computer Science  
However, possibilities for anticipating quality properties of composed services before their actual operation are limited so far.  ...  framework and a service mashup platform.  ...  The authors are thankful for this support.  ... 
doi:10.1007/978-3-642-31875-7_14 fatcat:iqxhrhhb4baopef2clgru6ehdi

Towards a Framework for the Integration of Modeling Languages

Svetlana Arifulina
2012 Software Language Engineering  
Thus, the framework serves as a basis for the comprehensive specification and automatic matching of services.  ...  In this paper, we propose a framework for integration of DSLs. It is based on a parameterized abstract core language that integrates key concepts needed to describe a service.  ...  On receiving a request, suitable software and hardware services have to be automatically discovered and composed.  ... 
dblp:conf/sle/Arifulina12 fatcat:hsifbj5lffgpbckdx6pf22w6ze

A Conceptual Framework for Semantic Web Services Development and Deployment [chapter]

Claus Pahl
2004 Lecture Notes in Computer Science  
We present a conceptual framework for ontology-based Web service development and deployment.  ...  Several extensions of the Web Services Framework have been proposed.  ...  Introduction Opening the Web for software applications is the objective of the Web Services Framework WSF [1] .  ... 
doi:10.1007/978-3-540-30209-4_20 fatcat:wssp2kjnf5expbwh5o5anpjgpy

Methods and tools for component-based system design

J Sifakis
2011 2011 Design, Automation & Test in Europe  
With few exceptions, predictability is impossible to guarantee at design time and therefore, a posteriori verification remains the only means for ensuring their correct operation.  ...  In contrast, we lack similar constructivity results for computing systems engineering: computer science provides only partial answers to particular system design problems.  ...  This is essential for maintaining the overall coherency by guaranteeing that a description at step n meets essential properties of a description at step n + 1.  ... 
doi:10.1109/date.2011.5763166 dblp:conf/date/Sifakis11 fatcat:eeon342hcnao7pcn27cgzbbvom

Component-Based and Service-Oriented Software Engineering: Key Concepts and Principles

Hongyu Pei Breivold, Magnus Larsson
2007 33rd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO 2007)  
In this paper, we present a comparison analysis framework of CBSE and SOSE and analyze them from a variety of perspectives.  ...  further utilizing them in a reasonable and complementary way. 33rd EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA 2007) 0-7695-2977-1/07 $25.00 © 2007 33rd EUROMICRO Conference  ...  A service requester searches in the service registry for a specific service via the service interface description.  ... 
doi:10.1109/euromicro.2007.25 dblp:conf/euromicro/BreivoldL07 fatcat:mxs7ruoksjdibdgkvnkm5dr67e

Ontology support for web service processes

C. Pahl, M. Casey
2003 Proceedings of the 9th European software engineering conference held jointly with 10th ACM SIGSOFT international symposium on Foundations of software engineering - ESEC/FSE '03  
We propose a formal ontology framework for these Web service processes that supports the description, matching, and composition through logic reasoning techniques.  ...  The Semantic Web, based on a description logic-based knowledge representation and reasoning framework, provides the foundations.  ...  The need to create a shared understanding for an application domain is long recognised. Client, user and developer of a software system need to agree on concepts for the domain and their properties.  ... 
doi:10.1145/940095.940099 fatcat:v32om37bkbdedcph54odima5gi

Ontology support for web service processes

C. Pahl, M. Casey
2003 Proceedings of the 9th European software engineering conference held jointly with 10th ACM SIGSOFT international symposium on Foundations of software engineering - ESEC/FSE '03  
We propose a formal ontology framework for these Web service processes that supports the description, matching, and composition through logic reasoning techniques.  ...  The Semantic Web, based on a description logic-based knowledge representation and reasoning framework, provides the foundations.  ...  The need to create a shared understanding for an application domain is long recognised. Client, user and developer of a software system need to agree on concepts for the domain and their properties.  ... 
doi:10.1145/940071.940099 dblp:conf/sigsoft/PahlC03 fatcat:t4txh6t5yfavjm2dlgnjcnvh5e

Ontology support for web service processes

C. Pahl, M. Casey
2003 Software engineering notes  
We propose a formal ontology framework for these Web service processes that supports the description, matching, and composition through logic reasoning techniques.  ...  The Semantic Web, based on a description logic-based knowledge representation and reasoning framework, provides the foundations.  ...  The need to create a shared understanding for an application domain is long recognised. Client, user and developer of a software system need to agree on concepts for the domain and their properties.  ... 
doi:10.1145/949952.940099 fatcat:4yh3phildjhp3bwfuk4yqfktwm

The Study on the Organization Approach of Agricultural Model Components Library Based on Topic Map [chapter]

Haiyan Jiang, Bing Fu, Mei Zhang, Yan Zhu, Weixin Cao
2011 IFIP Advances in Information and Communication Technology  
The result shows that, converting the agriculture models base to TM-AMCL can provide a unified descriptions and access to data for the intelligent decision support system developers, the managers of agriculture  ...  We designed the organization framework of the agriculture model components library on topic maps (TM-AMCL). For example of wheat development model, the XTM document instance is build.  ...  The figure 3 Conclusion This study proposed a new approach for agriculture model description and representation with coordination of software components and topic maps. initially converted the agriculture  ... 
doi:10.1007/978-3-642-18354-6_25 fatcat:g3hlrvumtbgito6vemfioiikwi

A Semantical Framework for the Orchestration and Choreography of Web Services

Claus Pahl, Yaoling Zhu
2006 Electronical Notes in Theoretical Computer Science  
A description logicbased knowledge representation and reasoning framework provides the foundations.  ...  We propose an ontology framework for these Web service processes that provides techniques for their description, matching, and composition.  ...  Software development for service-oriented architectures is a two-step process. Discovery is based on abstract computation descriptions (and other software properties), formalised based on ontologies.  ... 
doi:10.1016/j.entcs.2005.07.033 fatcat:ub2hlksl6fbm7ivl6lmnmzvmsi

R-Rio (poster session)

Alexandre Sztajnberg, Orlando Loques
2000 Addendum to the 2000 proceedings of the conference on Object-oriented programming, systems, languages, and applications (Addendum) - OOPSLA '00  
Separation of concerns is a key goal in achieving software reusability.  ...  R-RIO combines both approaches providing a useful framework to develop, implement and maintain applications.  ...  Property verification is also more difficult because the software structure is not exposed. The explicit description of non-functional aspects in SA/CP proposals is not a common practice.  ... 
doi:10.1145/367845.367960 dblp:conf/oopsla/SztajnbergL00 fatcat:hjlqjfd2lfcuhflnajxizoewbe

Multi-view description of software architectures

Valérie Issarny, Titos Saridakis, Apostolos Zarras
1998 Proceedings of the third international workshop on Software architecture - ISAW '98  
In this position paper, we go one step further in this direction by a d v ocating the need for specifying distinct views of a software architecture, each c haracterizing a speci c type of properties (i.e  ...  The speci cation of a software architecture using di erent ADLs allows system designers to carry out a number of complementary analyses.  ...  tools including the ones used by the Wright and Aster projects. 1 Conclusions We h a ve a d v ocated the need for multi-view description of software architectures, and discussed the issue of composing  ... 
doi:10.1145/288408.288429 fatcat:bhqnjqgs4fduxojpkyygmadkqa

Web Components and the Semantic Web

Máire Casey, Claus Pahl
2003 Electronical Notes in Theoretical Computer Science  
We show how a component model can be integrated into a Semantic Web-style ontology for component development.  ...  Focussing on Web component composition we develop description and reasoning techniques that support a component developer in the composition activities, focussing here on matching.  ...  Ontologies for Software Development Ontologies are frameworks that define the concepts and properties of a certain domain, and provide the vocabulary and facilities to reason about these.  ... 
doi:10.1016/s1571-0661(04)80741-2 fatcat:ztzhqdkdenaqdgunbujfrnceci

Ontology-based Software Capability Container for RESTful APIs

Abdelhadi Belfadel, Emna Amdouni, Jannik Laval, Chantal Cherifi, Nejib Moalla
2018 2018 International Conference on Intelligent Systems (IS)  
Our objective in this work is the design of a software capability container offering a wider view qualification for REST-based services.  ...  Furthermore, a Framework is proposed to exploit the designed container in order to respond to users requirements for developing future business process and efficiently reuse the qualified services.  ...  The EACP Framework proposed in our previous work is presented in Fig 1. Composed by two main phases as for the Software Product Lines (SPL) paradigm [17] , [4] .  ... 
doi:10.1109/is.2018.8710534 dblp:conf/is/BelfadelALCM18 fatcat:ghloq2afwrbfdcwkk7m7qlpjea

Rigorous Component-Based System Design Using the BIP Framework

Ananda Basu, Bensalem Bensalem, Marius Bozga, Jacques Combaz, Mohamad Jaber, Thanh-Hung Nguyen, Joseph Sifakis
2011 IEEE Software  
An autonomous robot case study illustrates the use of the behavior, interaction, priority (BIP) component framework as a unifying semantic model to ensure correctness of essential system design properties  ...  Acknowledgments The research leading to these results received funding from the European Community's Seventh Framework Programme under grant agreement 248776 and from the Artemis Joint Undertaking grant  ...  This maintains the flow's overall coherency by guaranteeing that a description at step n+1 meets essential properties of a description at step n. • component-based, providing a family of operators for  ... 
doi:10.1109/ms.2011.27 fatcat:lv4d6cjs3veozmq2dextce4eem
« Previous Showing results 1 — 15 out of 163,155 results