Filters








44,803 Hits in 6.9 sec

Conformance Checking of Services Using the Best Matching Private View [chapter]

Richard Müller, Wil M. P. van der Aalst, Christian Stahl
2013 Lecture Notes in Computer Science  
We show that among the infinitely many private views, there is a canonical best matching private view.  ...  Existing conformance checking techniques can be used to measure the degree of conformance of the recorded behavior and its public view but may produce "false negatives", because a correct implementation  ...  (3) Fig. 6 : Conformance checking using the best matching private view.  ... 
doi:10.1007/978-3-642-38230-7_4 fatcat:5j5ckefn6bc3ddd6nj6tdntkhq

Behavioral Service Substitution [chapter]

Christian Stahl, Wil M. P. van der Aalst
2013 Web Services Foundations  
This chapter aims to give an overview of the state of the art and open challenges in the area of service substitution. Thereby, we restrict ourselves to changes of the service behavior.  ...  A key ingredient of service orientation is the ability to substitute one service by another without reconfiguring the overall system.  ...  Beyond Conformance Checking Conformance can computed by establishing an optimal alignment between an event log and a service model (public view or best matching private view).  ... 
doi:10.1007/978-1-4614-7518-7_9 fatcat:xjxx36m5undzpoc4uguvbdijui

An Agent Based QoS Conflict Mediation Framework for Web Services Compositions

Xuan Nguyen, Ryszard Kowalczyk
2006 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology  
Web services technology  ...  Because these conditions can be checked by matching of the values, they are preserved after f transformation.  ...  It later compares those messages against its generated messages of m self out at line 14. Also the procedure invokes the verify check agent view instead of the check agent view.  ... 
doi:10.1109/iat.2006.31 dblp:conf/iat/NguyenK06 fatcat:na45n2mrebhk3pmkuhddh3yr5y

Assessing Ability to Execute in Virtual Enterprises [chapter]

Roelof J. Berg, Martin Tølle
2001 Global Engineering, Manufacturing and Enterprise Networks  
Finally, the paper discusses the future of assessment and auditing services in the context of business-to-business e-commerce. J. P. T. Mo et al.  ...  Virtual enterprise, ontological convergence, modelling, web assurance The state of the art in leT enables integration beyond the application per se, but this requires assessment and reconciliation of business  ...  Modelling techniques such as those for process modelling can be used to support this check for functional conformity.  ... 
doi:10.1007/978-0-387-35412-5_4 fatcat:fndwlmatpjalzfba2ms2z3a6ly

Automatic modularity conformance checking

Sunny Huynh, Yuanfang Cai, Yuanyuan Song, Kevin Sullivan
2008 Proceedings of the 13th international conference on Software engineering - ICSE '08  
We present an automated approach to check the conformance of implemented modularity to designed modularity, using design structure matrices as a uniform representation for both.  ...  We also show that design and implementation models together provide a comprehensive view of modular structure that makes certain implicit dependencies within code explicit.  ...  If not, can the conformance checking help us figure out the causes of the discrepancies? 3.  ... 
doi:10.1145/1368088.1368144 dblp:conf/icse/HuynhCSS08 fatcat:f2see54tp5eclbqc3e2vjk4lwi

Analysis and Verification of Service Interaction Protocols - A Brief Survey

Gwen Salaün
2010 Electronic Proceedings in Theoretical Computer Science  
Second, we give a brief survey of verification techniques that can be used to analyse services and their interaction. Last, we focus on the realizability and conformance of choreographies.  ...  Modeling and analysis of interactions among services is a crucial issue in Service-Oriented Computing.  ...  The author would like to thank Meriem Ouederni for her comments on a former version of this paper.  ... 
doi:10.4204/eptcs.35.7 fatcat:k57itzmpoff3dn7n744wmxxo7m

A Semantic QoS-Aware Discovery Framework for Web Services

Qian Ma, Hao Wang, Ying Li, Guotong Xie, Feng Liu
2008 2008 IEEE International Conference on Web Services  
Finally, the prototype implementation of our framework is discussed and a SWSs discovery case is used to illustrate the comprehensive discovery process.  ...  Augmenting web services with explicit semantics forms the foundation of Service Oriented Architectures (SOAs) automation.  ...  checking the conformance of constraints [2, 3] .  ... 
doi:10.1109/icws.2008.44 dblp:conf/icws/MaWLXL08 fatcat:2utjql2ctvcijkqyzpa5fiszii

Checking threat modeling data flow diagrams for implementation conformance and security

Marwan Abi-Antoun, Daniel Wang, Peter Torr
2007 Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering - ASE '07  
We designed an approach to check the conformance of an implementation with its security architecture.  ...  The analysis uses a Data Flow Diagram (DFD) to describe how data moves through a system.  ...  Acknowledgements The authors thank the members of the Security Development Lifecycle (SDL) team at Microsoft for their useful input and the anonymous Microsoft developers for participating in the System  ... 
doi:10.1145/1321631.1321692 dblp:conf/kbse/Abi-AntounWT07 fatcat:gyuhcu7e75b47kgo76vfxak2mq

DELIVERABLE 4.7 - EVAGUIDE REGULATORY LANDSCAPE & STANDARDIZATION REPORT [article]

TELESTO TECHNOLOGIES
2021 Zenodo  
, standards and recommendations proposed for the development and operation of sports grounds, the evolution of evens and the handling of emergency incidents.  ...  The report also presents how EVAGUIDE with its innovative features and services may address the needs for safety and evacuation in stadia and large facilities, as presented in the SGSA & UEFAS's guidelines  ...  ), location of viewing sectors, etc (Check EVAGUIDE's conformance at Conf.5).  ... 
doi:10.5281/zenodo.4651113 fatcat:nl4c4jzcbrcsdnnlxwi46qvfbq

From trading to eCommunity population: Responding to social and contractual challenges

Lea Kutvonen, Janne Metso, Sini Ruohomaa
2006 International Enterprise Distributed Object Computing Conference, Proceedings  
The emergence of networked eBusiness and the wave of service-oriented computing facilities create new challenges for automating inter-enterprise business process management and eContracting.  ...  This work enhances the web-Pilarcos project results on B2B interoperability middleware; the architectural model supported comprises of autonomous business services forming looselycoupled, eContract-governed  ...  Acknowledgement This work has been performed at the Department of Computer Science at the University of Helsinki.  ... 
doi:10.1109/edoc.2006.30 dblp:conf/edoc/KutvonenMR06 fatcat:6zfoza7afvamfhsvoizf637lea

Run-time Verification of Behavioural Conformance for Conversational Web Services

Dimit Dranidis, Ervin Ramollari, Dimitrios Kourtesis
2009 2009 Seventh IEEE European Conference on Web Services  
Our approach allows for checking both the control flow of a Web service and the values of the data in the generated responses.  ...  It is therefore critical to verify the behavioural conformance of services during run-time. This paper discusses a novel approach for run-time verification of Web services.  ...  To the best of our knowledge this is the first work using some form of Extended Finite State Machines for run-time verification of Web services.  ... 
doi:10.1109/ecows.2009.19 dblp:conf/ecows/DranidisRK09 fatcat:a57onygcbvh37fyn7klgc4k6pa

Universal Access, Cost Recovery, and Payment Services [chapter]

Sujit Chakravorti, Jeffery W. Gunther, Robert R. Moore
2010 Financial Institutions and Markets  
high-cost to low-cost service points during the MCA's early years, thereby allowing private-sector competitors to enter the low-cost segment of the market and undercut the relatively uniform prices charged  ...  We suggest a subtle, yet far-reaching, tension in the objectives specified by the Monetary Control Act of 1980 (MCA) for the Federal Reserve's role in providing retail payment services, such as check processing  ...  In forums hosted by the Rivlin Committee in the mid-nineties, a taskforce designed to assess the role of the Fed in providing retail payment services, private-sector participants expressed the view that  ... 
doi:10.1057/9780230117365_10 fatcat:iyeqgjnvircu3fn25ctmf6yfle

Universal Access, Cost Recovery, and Payment Services

Sujit Chakravorti, Jeffrey W. Gunther, Robert R. Moore
2005 Social Science Research Network  
high-cost to low-cost service points during the MCA's early years, thereby allowing private-sector competitors to enter the low-cost segment of the market and undercut the relatively uniform prices charged  ...  We suggest a subtle, yet far-reaching, tension in the objectives specified by the Monetary Control Act of 1980 (MCA) for the Federal Reserve's role in providing retail payment services, such as check processing  ...  In forums hosted by the Rivlin Committee in the mid-nineties, a taskforce designed to assess the role of the Fed in providing retail payment services, private-sector participants expressed the view that  ... 
doi:10.2139/ssrn.871078 fatcat:nkg7fxujezei3h4gxq6kc4ze2u

From trading to eCommunity management: Responding to social and contractual challenges

Lea Kutvonen, Janne Metso, Sini Ruohomaa
2007 Information Systems Frontiers  
The required facilities include selection of those autonomously administered business services that the enterprises are prepared to provide and use, contract negotiations, and furthermore, monitoring of  ...  The supporting infrastructure is increasingly required to provide common facilities and societal infrastructure services to support the lifecycle of loosely-coupled, eContract-governed business networks  ...  Acknowledgements This work has been carried out at the Department of Computer Science at the University of Helsinki.  ... 
doi:10.1007/s10796-007-9031-x fatcat:mam5iyquibem3bpzjbdcqrtw4e

Publishing and composition of atomicity-equivalent services for B2B collaboration

Chunyang Ye, S. C. Cheung, W. K. Chan
2006 Proceeding of the 28th international conference on Software engineering - ICSE '06  
By checking atomicity spheres in the composition of these public views, business parties can identify suitable services that respect their individual and overall atomicity requirements.  ...  To address this problem, we propose a process algebraic technique to prove, construct, and check atomicity-equivalent public views from B2B processes.  ...  Thanks are also given to Sam Ng, Chang Xu, Xinming Wang, Du Li and other members of the software engineering group in The Hong Kong University of Science and Technology for their informative discussions  ... 
doi:10.1145/1134285.1134335 dblp:conf/icse/YeCC06 fatcat:e6uayla5wfhszhqlzkdae3nwuu
« Previous Showing results 1 — 15 out of 44,803 results