Stem choreographi$ (all stems)

41 papers:

ECSA-2015-PautassoIS #diagrams #modelling #rest

Modeling RESTful Conversations with Extended BPMN Choreography Diagrams (CP, AI, SS), pp. 87–94.

ICEIS-v2-2015-WeissAHK #modelling #reuse

Fostering Reuse in Choreography Modeling Through Choreography Fragments (AW, VA, MH, DK), pp. 28–36.

POPL-2015-LangeTY #communication #visual notation

From Communicating Machines to Graphical Choreographies (JL, ET, NY), pp. 221–232.

ESOP-2014-BocchiMT #nondeterminism

Resolving Non-determinism in Choreographies (LB, HCM, ET), pp. 493–512.

CSMR-WCRE-2014-AutiliIT #internet #named #scalability

CHOREOS: Large scale choreographies for the future internet (MA, PI, MT), pp. 391–394.

CAiSE-2014-0001PBKLSFW #automation #process

Automating Data Exchange in Process Choreographies (AM, LP, KB, SK, TL, TS, DF, MW), pp. 316–331.

EDOC-2014-WeissK #lifecycle #multi

A Life Cycle for Coupled Multi-scale, Multi-field Experiments Realized through Choreographies (AW, DK), pp. 234–241.

REFSQ-2014-MaidenLZBAL #approach #case study #experience #specification

A Requirements-Led Approach for Specifying QoS-Aware Service Choreographies: An Experience Report (NAMM, JL, KZ, AB, GDA, FL), pp. 239–253.

FSE-2014-AutiliRSP #internet #named

CHOReOSynt: enforcing choreography realizability in the future internet (MA, DDR, ADS, AP), pp. 723–726.

FASE-2013-AutiliRSIT #modelling #process #synthesis

A Model-Based Synthesis Process for Choreography Realizability Enforcement (MA, DDR, ADS, PI, MT), pp. 37–52.

FASE-2013-GudemannPSD #framework #named #verification

VerChor: A Framework for Verifying Choreographies (MG, PP, GS, AD), pp. 226–230.

SAC-2013-BartoliniBACM #monitoring

Apprehensive QoS monitoring of Service choreographies (CB, AB, GDA, AC, RM), pp. 1893–1899.

CSCW-2012-Pine

Fragmentation and choreography: caring for a patient and a chart during childbirth (KP), pp. 887–896.

POPL-2012-BasuBO

Deciding choreography realizability (SB, TB, MO), pp. 191–202.

SAC-2012-NguyenPZ #consistency #testing

Passive conformance testing of service choreographies (HNN, PP, FZ), pp. 1528–1535.

SAC-2012-PoizatS

Checking the realizability of BPMN 2.0 choreographies (PP, GS), pp. 1927–1934.

HCI-DDA-2011-Fernandez-LlatasMSN #interactive #process #simulation

Process Choreography for Human Interaction Computer-Aided Simulation (CFL, JBM, PS, JCN), pp. 214–220.

SEKE-2011-BhattacharyaCSK #enterprise #using

Dynamic Service Choreography using Context Aware Enterprise Service Bus (SB, JC, SS, AK), pp. 319–324.

SEKE-2011-GeigerSW #automation #consistency #towards

Towards Automated Conformance Checking of ebBP-ST Choreographies and Corresponding WS-BPEL Based Orchestrations (MG, AS, GW), pp. 566–571.

SAC-2011-Norta #collaboration

A choreography language for eBusiness collaboration (AN), pp. 468–469.

EDOC-2010-MilanovicG #modelling #process

Modeling Service Choreographies with Rule-Enhanced Business Processes (MM, DG), pp. 194–203.

SEKE-2010-ElabdCH #approach #data access #implementation #web #web service

Selecting Web Services for Choreography Implementation: Compatibility Checking Approach with Access Control (EE, EC, MSH), pp. 235–240.

SAC-2010-WetzsteinKKLZ #monitoring #process

Cross-organizational process monitoring based on service choreographies (BW, DK, OK, FL, DZ), pp. 2485–2490.

ICSE-2010-Ntshinga

Choreography of intelligent e-services (WLN), pp. 343–344.

WICSA-ECSA-2009-WieczorekRSKCKS #architecture #modelling

Viewpoints for modeling choreographies in service-oriented architectures (SW, AR, AS, VK, AC, FMK, IS), pp. 11–20.

IFM-2009-SalaunB #algebra #encoding #process #using

Realizability of Choreographies Using Process Algebra Encodings (GS, TB), pp. 167–182.

CAiSE-2009-GuermoucheG #analysis #web #web service

Asynchronous Timed Web Service-Aware Choreography Analysis (NG, CG), pp. 364–378.

ECMDA-FA-2009-StefanescuWK #approach #modelling #named #testing

MBT4Chor: A Model-Based Testing Approach for Service Choreographies (AS, SW, AK), pp. 313–324.

MoDELS-2009-MilanovicGWH #modelling #process

Rule-Enhanced Business Process Modeling Language for Service Choreographies (MM, DG, GW, MH), pp. 337–341.

MoDELS-2009-MilanovicGWH #modelling #process

Rule-Enhanced Business Process Modeling Language for Service Choreographies (MM, DG, GW, MH), pp. 337–341.

SAC-2009-HalleV #monitoring #runtime #streaming #using #web #web service #xml

Runtime monitoring of web service choreographies using streaming XML (SH, RV), pp. 2118–2125.

ESEC-FSE-2009-MeiCT #data flow #testing

Data flow testing of service choreography (LM, WKC, THT), pp. 151–160.

TestCom-FATES-2009-WieczorekKRLBPS #integration #model checking #modelling #testing

Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models (SW, VK, AR, ML, JB, DP, IS), pp. 179–194.

SEFM-2008-LaneseGMZ

Bridging the Gap between Interaction- and Process-Oriented Choreographies (IL, CG, FM, GZ), pp. 323–332.

SEFM-2008-Salaun #generative #protocol #specification

Generation of Service Wrapper Protocols from Choreography Specifications (GS), pp. 313–322.

CAiSE-2008-DeckerKLPW #modelling #using

Modeling Service Choreographies Using BPMN and BPEL4Chor (GD, OK, FL, KP, MW), pp. 79–93.

EDOC-2008-MahfouzBLN #dependence

Customizing Choreography: Deriving Conversations from Organizational Dependencies (AM, LB, RCL, BN), pp. 181–190.

SAC-2007-HuangW #petri net #semantics #web #web service

A petri net semantics for web service choreography (YH, HW), pp. 1689–1690.

SAC-2007-MengA #automaton #constraints #distributed #web #web service

Web services choreography and orchestration in Reo and constraint automata (SM, FA), pp. 346–353.

ICSE-2006-FosterUMK #composition #modelling #named #verification #web #web service

LTSA-WS: a tool for model-based verification of web service compositions and choreography (HF, SU, JM, JK), pp. 771–774.

SAC-2005-BravettiGLZ #e-commerce #formal method

Supporting e-commerce systems formalization with choreography languages (MB, CG, RL, GZ), pp. 831–835.