Filters








1,352,889 Hits in 4.0 sec

Analysis Techniques for Service Models

Wolfgang Reisig, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg, Karsten Wolf, Kathrin Kaschner
2006 Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006)  
The paradigm of Service-Oriented Computing (SOC) provides a framework for interorganizational business processes and for the emerging programming-in-the-large.  ...  Such issues can be addressed by means of models of services. We show how services can intelligibly be modeled, and we present algorithms and tools to analyze properties of service models.  ...  All these demands can be achieved with the help of proper modeling and analysis techniques with software tools that support handling and analysis of models. We present such techniques in the sequel.  ... 
doi:10.1109/isola.2006.58 dblp:conf/isola/ReisigFLMSWWK06 fatcat:vuvtdiw3sbhthjoc7dm32gtxou

Modeling- and Analysis Techniques for Web Services and Business Processes [chapter]

Wolfgang Reisig
2005 Lecture Notes in Computer Science  
Each of the three modeling techniques trades expressivity for analysis techniques: The more expressive the modeling technique, the less it offers specific analysis techniques.  ...  Modeling -and Analysis Techniques The definition of a Web service must be communicated among its designers, implementers, users, etc.  ...  Each modeling technique trades expressivity for analysis techniques.  ... 
doi:10.1007/11494881_16 fatcat:c6xvrtnlp5esrbelurn5avvvgu

Empirical Analysis of Demand for residential electricity in Beijing: An Application of Co-Integration Techniques and Error-Correction Model

Fuwei Zhang, Wenjing Wang, Hongjie Ding, Zhiting Wu, Yan Yan
2017 International Journal of u- and e- Service, Science and Technology  
for residential electricity, to which the co-integration technical analysis was applied.  ...  This paper attempts to prognosis the income and price elasticity of demand for residential electric power for long-run and short-run in Beijing.  ...  We also thank two anonymous referees for comments on an earlier version of the article.  ... 
doi:10.14257/ijunesst.2017.10.3.09 fatcat:rxbhbuwwljf4hecxri5hb7yr5q

Generating Web Services for Statistical Survey Packages from Domain-specific Visual Languages

Chul Hwee Kim, John Hosking, John Grundy
2007 Second International Workshop on Incorporating COTS Software into Software Systems: Tools and Techniques (IWICSS '07)  
In this paper we describe SDLTool's support for turning high-level survey design models into widely accessible web services to share complex statistical survey technique implementations run by COTS statistical  ...  Current statistical COTS software tools provide powerful statistical processing and analysis support but very limited mechanisms for designing, implementing and reusing such support.  ...  The technique web service generator produces a web service providing an interface to the generated scripts for the COTS analysis and a WSDL specification for this interface (f).  ... 
doi:10.1109/iwicss.2007.6 fatcat:3y55vlunafegxpomdw5ikxs3we

In Brief: Grid-Based Modeling Technique Furthers Earthquake Risk Prediction

D. Geer
2006 IEEE Distributed Systems Online  
The secondary fault couldn't have been predicted without this technique, says Moustafa Ghanem, a research scientist for the project at the Imperial College, London.  ...  element analysis and simulation within local geophysical constraints.  ...  The 2D modeling technique uses the same Web services and grid technologies for integrating science data that businesses are using for enterprise data integration, says Heather Kreger, a Web services and  ... 
doi:10.1109/mdso.2006.11 fatcat:4qzls4ruzvffpdl32onl534sna

Impact analysis and change propagation in service-oriented enterprises: A systematic review

Khubaib Amjad Alam, Rodina Ahmad, Adnan Akhunzada, Mohd Hairul Nizam Md Nasir, Samee U. Khan
2015 Information Systems  
Further categorization of dependency analysis indicates that graph-based techniques are extensively used, followed by formal dependency modeling.  ...  Dependency analysis is the most frequently adopted technique followed by traceability analysis.  ...  Finally, we synthesize our findings on impact analysis techniques for service based systems.  ... 
doi:10.1016/j.is.2015.06.003 fatcat:2fabda5z65bztdiidkmo2fhdgq

SEIM

Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Mauro Santoro
2010 Proceedings of the 2nd International Workshop on Principles of Engineering Service-Oriented Systems - PESOS '10  
In this paper, we present SEIM, a technique to extract models of the service interaction protocol.  ...  Most static techniques to extract models of the code behavior focus on the usage protocol, i.e., how the services can be used, rather than the interaction protocol, i.e., how applications use services.  ...  technique that generates models for systems that integrate Web Services.  ... 
doi:10.1145/1808885.1808891 dblp:conf/icse/MarianiPRS10 fatcat:f2wmdh34ezezdinswospmsaz2e

Data science and AI in FinTech: An overview [article]

Longbing Cao, Qiang Yang, Philip S. Yu
2021 arXiv   pre-print
Smart FinTech synthesizes broad DSAI and transforms finance and economies to drive intelligent, automated, whole-of-business and personalized economic and financial businesses, services and systems.  ...  The research on data science and AI in FinTech involves many latest progress made in smart FinTech for BankingTech, TradeTech, LendTech, InsurTech, WealthTech, PayTech, RiskTech, cryptocurrencies, and  ...  Table 1 : 1 DSAI Techniques and Their Representative Applications for Smart FinTech.State space modeling, time-series analysis, spectral analysis, longmemory time-series analysis, nonstationary analysis  ... 
arXiv:2007.12681v2 fatcat:jntzuwaktjg2hmmjypi5lvyht4

Criteria Based Evaluation Framework for Service Oriented Methodologies [article]

Mahdi Fahmideh, Jafar Habibi, Fereidoon Shams, Sedigheh Khoshnevis
2020 arXiv   pre-print
The main goal of the service oriented methodologies is to define a process for development and maintenance of service based systems.  ...  At the time being, there is no complete evaluation framework for evaluating Service Oriented methodologies.  ...  In [1] , some challenges in the service oriented software engineering are reviewed including business modeling techniques, service composition, gap analysis techniques and design principles.  ... 
arXiv:2004.09379v1 fatcat:ut77n2twmjhbnm2nqfyeyun6je

Collaborative Classification Approach for Airline Tweets Using Sentiment Analysis

M.Veera Kumari Et.al
2021 Turkish Journal of Computer and Mathematics Education  
Twitter has been increased to develop the quality of services[4]. This paper develop the different classification techniques to improve accuracy for sentiment analysis.  ...  The metrics of sentiment analysis precision, recall, f1-score, micro average, macro average and accuracy are discovered for all above mentioned classification techniques.  ...  Umac, "Opinion Mining of Twitter Data for Recommending Airlines Services"[10], this paper compared different classification models with metrics of sentiment analysis and they achieve best accuracy value  ... 
doi:10.17762/turcomat.v12i3.1639 fatcat:7hlbs6kkefftvp7jozmbkb3hfi

Variability and Rigour in Service Computing Engineering

Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi, Jose L. Fiadeiro
2011 2011 IEEE 34th Software Engineering Workshop  
Our proposal is to develop rigorous modelling techniques as well as analysis and verification support tools for assisting organisations to plan, optimise, and control the quality of software service provision  ...  By superposing variability mechanisms on current languages for service engineering, based on policies and strategies defined by service providers, we envision the possibility of identifying variability  ...  Our aim is to develop an engineering methodology for systematic, large-scale provision and market segmentation of software services, based on rigorous modelling, analysis, and verification techniques.  ... 
doi:10.1109/sew.2011.24 dblp:conf/sew/BeekGFF11 fatcat:zsbwed4uxjgclgg5mhdpoxdebi

A suite of visual languages for model-driven development of statistical surveys and services

Chul Hwee Kim, John Grundy, John Hosking
2015 Journal of Visual Languages and Computing  
model to implement survey analysis.  ...  web services.  ...  Support from the Foundation for Research, Science and Technology for parts of this research is gratefully acknowledged.  ... 
doi:10.1016/j.jvlc.2014.11.005 fatcat:u36yjfthazdqnplkb3vkybcdpe

Specification and Evaluation of Safety Properties in a Component-Based Software Engineering Process [chapter]

Lars Grunske, Bernhard Kaiser, Ralf H. Reussner
2005 Lecture Notes in Computer Science  
Established Safety Analysis Techniques There is an established set of safety analysis techniques for different purposes.  ...  The idea behind the component based safety analysis techniques discussed in the following subsections is to exploit the system architecture for safety analysis by attaching models for failure generation  ... 
doi:10.1007/11591962_13 fatcat:2wmqgon6nbb5lbfntzdtxau3fm

Sensoria Results Applied to the Case Studies [chapter]

Maurice H. ter Beek
2011 Lecture Notes in Computer Science  
(e.g., CMC-UMC, PEPA software toolkit) for the analysis of behavioral, performance and QoS properties of services.  ...  The third theme, finally, deals with various engineering aspects of services: model-driven development (e.g., MDD4SOA, SDE, VIATRA2), deployment (e.g., Modes, Dino, JCaSPiS, Model transformations for deployment  ...  We thank our partners in the Sensoria project for their contributions to this chapter.  ... 
doi:10.1007/978-3-642-20401-2_32 fatcat:4wvndyw5sbcbbnm6v7xmpbhgfm

Novel Technique to Control the Metering for Cloud Service using Common Deployment Model

C. Saravanakumar, C. Arun, S. P Sivasrinivasan
2016 Indian Journal of Science and Technology  
The services are classified and risks are assessed for selecting the suitable services from the cloud.  ...  Findings: The common deployment model acts as a broker in various cloud interaction to achieve a high quality of services to the customer.  ...  The proposed model has various processing technique they are service extraction, feature extraction, service estimation, service classification, risk analysis, risk assessment, service controlling and  ... 
doi:10.17485/ijst/2016/v9i21/95294 fatcat:lhuilgzxgzhspocqgz4uf4ocme
« Previous Showing results 1 — 15 out of 1,352,889 results