-
1
-
-
0142039821
-
Web services orchestration and choreography
-
Peltz, C.: Web Services Orchestration and Choreography. IEEE Computer 36(10), 46-52 (2003)
-
(2003)
IEEE Computer
, vol.36
, Issue.10
, pp. 46-52
-
-
Peltz, C.1
-
2
-
-
34250718156
-
Formal semantics and analysis of control flow in ws-bpel
-
Ouyang, C., Verbeek, E., van der Aalst, W.M.P., Breutel, S., Dumas, M., Hofstede, A.H.M.: Formal Semantics and Analysis of Control Flow in WS-BPEL. Science of Computer Programming 2(3), 162-198 (2007)
-
(2007)
Science of Computer Programming
, vol.2
, Issue.3
, pp. 162-198
-
-
Ouyang, C.1
Verbeek, E.2
Van Der Aalst, W.M.P.3
Breutel, S.4
Dumas, M.5
Hofstede, A.H.M.6
-
3
-
-
84861019263
-
An integrated development and runtime environment for the future internet
-
In: Álvarez, F., et al. (eds.). Springer, Heidelberg
-
Ben Hamida, A., et al.: An Integrated Development and Runtime Environment for the Future Internet. In: Álvarez, F., et al. (eds.) FIA 2012. LNCS, vol. 7281, pp. 81-92. Springer, Heidelberg (2012)
-
(2012)
FIA 2012. LNCS, Vol. 7281
, pp. 81-92
-
-
Ben Hamida, A.1
-
4
-
-
84900026516
-
Faceted service specification
-
Paris
-
Sawyer, P., Hutchinson, J., Walkerdine, J., Sommerville, I.: Faceted Service Specification. In: Proceedings SOCCER Workshop at RE 2005 Conference, Paris (2005)
-
(2005)
Proceedings SOCCER Workshop at RE 2005 Conference
-
-
Sawyer, P.1
Hutchinson, J.2
Walkerdine, J.3
Sommerville, I.4
-
5
-
-
84864883617
-
Quality requirements for service choreographies
-
Bartolini, C., Bertolino, A., Ciancone, A., De Angelis, G., Mirandola, R.: Quality Requirements for Service Choreographies. In: Proceedings WEBIST 2012, pp. 143-148 (2012)
-
(2012)
Proceedings WEBIST 2012
, pp. 143-148
-
-
Bartolini, C.1
Bertolino, A.2
Ciancone, A.3
De Angelis, G.4
Mirandola, R.5
-
7
-
-
84900018982
-
The challenge of pervasive software to the conventional wisdom of software engineering
-
August
-
Shaw, M.: The Challenge of Pervasive Software to the Conventional Wisdom of Software Engineering. In: Keynote speech at ESEC/FSE (August 2009), http://www.esecfse-2009.ewi.tudelft.nl/downloads/ESECFSE09-shaw.pdf
-
(2009)
Keynote Speech at ESEC/FSE
-
-
Shaw, M.1
-
8
-
-
80055027244
-
A development process for requirements based service choreography
-
Autili, M., Di Ruscio, D., Inverardi, P., Lockerbie, J., Tivoli, M.: A Development Process for Requirements Based Service Choreography. In: Proceedings RESS 2011, pp. 59-62 (2011)
-
(2011)
Proceedings RESS 2011
, pp. 59-62
-
-
Autili, M.1
Di Ruscio, D.2
Inverardi, P.3
Lockerbie, J.4
Tivoli, M.5
-
9
-
-
84877963465
-
Apprehensive qos monitoring of service choreographies
-
Bartolini, C., Bertolino, A., Ciancone, A., De Angelis, G., Mirandola, R.: Apprehensive QoS Monitoring of Service Choreographies. In: Proceedings SAC 2013, pp. 1893-1899 (2013)
-
(2013)
Proceedings SAC 2013
, pp. 1893-1899
-
-
Bartolini, C.1
Bertolino, A.2
Ciancone, A.3
De Angelis, G.4
Mirandola, R.5
-
11
-
-
35048852501
-
Model-driven requirements engineering: Synchronising models in an air traffic management case study
-
In: Persson, A., Stirna, J. (eds.). Springer, Heidelberg
-
Maiden, N.A.M., Jones, S.V., Manning, S., Greenwood, J., Renou, L.: Model-Driven Requirements Engineering: Synchronising Models in an Air Traffic Management Case Study. In: Persson, A., Stirna, J. (eds.) CAiSE 2004. LNCS, vol. 3084, pp. 368-383. Springer, Heidelberg (2004)
-
(2004)
CAiSE 2004. LNCS, Vol. 3084
, pp. 368-383
-
-
Maiden, N.A.M.1
Jones, S.V.2
Manning, S.3
Greenwood, J.4
Renou, L.5
-
13
-
-
19144371065
-
A linguistic engineering approach to large-scale requirements management
-
Nattoch Dag, J., Gervasi, V., Brinkkemper, S., Regnell, B.: A linguistic engineering approach to large-scale requirements management. IEEE Software 22(1), 32-39 (2005)
-
(2005)
IEEE Software
, vol.22
, Issue.1
, pp. 32-39
-
-
Nattoch Dag, J.1
Gervasi, V.2
Brinkkemper, S.3
Regnell, B.4
-
14
-
-
38149011410
-
Discovering web services to specify more complete system requirements
-
In: Krogstie, J., Opdahl, A.L., Sindre, G. (eds.). Springer, Heidelberg
-
Zachos, K., Maiden, N.A.M., Zhu, X., Jones, S.: Discovering Web Services To Specify More Complete System Requirements. In: Krogstie, J., Opdahl, A.L., Sindre, G. (eds.) CAiSE 2007 and WES 2007. LNCS, vol. 4495, pp. 142-157. Springer, Heidelberg (2007)
-
(2007)
CAiSE 2007 and WES 2007. LNCS, Vol. 4495
, pp. 142-157
-
-
Zachos, K.1
Maiden, N.A.M.2
Zhu, X.3
Jones, S.4
-
15
-
-
0036487980
-
Preventing user errors by systematic analysis of deviations from the system task model
-
Paterno, F., Santoro, C.: Preventing User Errors by Systematic Analysis of Deviations from the System Task Model. International Journal of Human-Computer Studies 56(2), 225-245 (2002)
-
(2002)
International Journal of Human-Computer Studies
, vol.56
, Issue.2
, pp. 225-245
-
-
Paterno, F.1
Santoro, C.2
-
16
-
-
84900001141
-
User task-based development of multi-device service-oriented applications
-
Roma, Italy
-
Paterno, F., Santoro, C., Spano, L.D.: User Task-based Development of Multi-device Service-oriented Applications. In: Proceedings of the International Conference on Advanced Visual Interfaces, Roma, Italy (2010)
-
(2010)
Proceedings of the International Conference on Advanced Visual Interfaces
-
-
Paterno, F.1
Santoro, C.2
Spano, L.D.3
-
17
-
-
33845190915
-
Designing web services for supporting user tasks: A model driven approach
-
Ruiz, M., Pelechano, V., Pastor, O.: Designing Web Services for Supporting User Tasks: A Model Driven Approach. In: CoSS International Workshop on Conceptual Modeling of S-oSS, pp. 193-202 (2006)
-
(2006)
CoSS International Workshop on Conceptual Modeling of S-oSS
, pp. 193-202
-
-
Ruiz, M.1
Pelechano, V.2
Pastor, O.3
-
18
-
-
84995350012
-
Exploiting codified user task knowledge to discover services at design-time
-
Zachos, K., Kounkou, A., Maiden, N.A.M.: Exploiting Codified User Task Knowledge to Discover Services at Design-Time. IJSSOE 3(2), 30-66 (2012)
-
(2012)
IJSSOE
, vol.3
, Issue.2
, pp. 30-66
-
-
Zachos, K.1
Kounkou, A.2
Maiden, N.A.M.3
-
19
-
-
0010550599
-
Concurtasktrees: A diagrammatic notation for specifying task models
-
Paterno, F., Mancini, C., Meniconi, S.: ConcurTaskTrees: A Diagrammatic Notation for Specifying Task Models. In: Proceedings of the IFIP TC13 International Conference on Human-Computer Interaction, pp. 362-369 (1997)
-
(1997)
Proceedings of the IFIP TC13 International Conference on Human-Computer Interaction
, pp. 362-369
-
-
Paterno, F.1
Mancini, C.2
Meniconi, S.3
-
20
-
-
80053651582
-
Yet another meta-model to specify non-functional properties
-
Di Marco, A., Pompilio, C., Bertolino, A., Calabrò, A., Lonetti, F., Sabetta, A.: Yet another meta-model to specify non-functional properties. In: Proceedings QASBA 2011, pp. 9-16 (2011)
-
(2011)
Proceedings QASBA 2011
, pp. 9-16
-
-
Di Marco, A.1
Pompilio, C.2
Bertolino, A.3
Calabrò, A.4
Lonetti, F.5
Sabetta, A.6
-
21
-
-
84865117698
-
Non-functional analysis of service choreographies
-
Bartolini, C., Bertolino, A., Ciancone, A., De Angelis, G., Mirandola, R.: Non-functional analysis of service choreographies. In: Proceedings PESOS 2012, pp. 8-14 (2012)
-
(2012)
Proceedings PESOS 2012
, pp. 8-14
-
-
Bartolini, C.1
Bertolino, A.2
Ciancone, A.3
De Angelis, G.4
Mirandola, R.5
-
23
-
-
0014380830
-
Response time in man-computer conversational transactions
-
ACM, New York
-
Miller, R.B.: Response time in man-computer conversational transactions. In: Proceedings of the Joint Computer Conference, pp. 267-277. ACM, New York (1968)
-
(1968)
Proceedings of the Joint Computer Conference
, pp. 267-277
-
-
Miller, R.B.1
-
24
-
-
77953116258
-
A roadmap for comprehensive requirements monitoring
-
May
-
Robinson, W.: A Roadmap for Comprehensive Requirements Monitoring. IEEE Computer, 64-72 (May 2010)
-
(2010)
IEEE Computer
, pp. 64-72
-
-
Robinson, W.1
-
25
-
-
79958721184
-
Glimpse: A generic and flexible monitoring infrastructure
-
Bertolino, A., Calabrò, A., Lonetti, F., Sabetta, A.: GLIMPSE: a generic and flexible monitoring infrastructure. In: Proceedings EWDC 2011, pp. 73-78 (2011)
-
(2011)
Proceedings EWDC 2011
, pp. 73-78
-
-
Bertolino, A.1
Calabrò, A.2
Lonetti, F.3
Sabetta, A.4
-
26
-
-
79959214030
-
-
Drools Fusion: Complex Event Processor, http://www.jboss.org/drools/ drools-fusion.html
-
Complex Event Processor
-
-
-
27
-
-
80053515933
-
Towards a model-driven infrastructure for runtime monitoring
-
In: Troubitsyna, E.A. (ed.) Springer, Heidelberg
-
Bertolino, A., Calabrò, A., Lonetti, F., Di Marco, A., Sabetta, A.: Towards a Model-Driven Infrastructure for Runtime Monitoring. In: Troubitsyna, E.A. (ed.) SERENE 2011. LNCS, vol. 6968, pp. 130-144. Springer, Heidelberg (2011)
-
(2011)
SERENE 2011. LNCS, Vol. 6968
, pp. 130-144
-
-
Bertolino, A.1
Calabrò, A.2
Lonetti, F.3
Di Marco, A.4
Sabetta, A.5
-
28
-
-
84880866638
-
Servicepot - an extensible registry for choreography governance
-
Ali, M., De Angelis, G., Polini, A.: ServicePot - An Extensible Registry for Choreography Governance. In: Proceedings SOSE 2013, pp. 113-124 (2013)
-
(2013)
Proceedings SOSE 2013
, pp. 113-124
-
-
Ali, M.1
De Angelis, G.2
Polini, A.3
-
29
-
-
0034835095
-
Will it work
-
IEEE Computer Society
-
Hammond, J., Rawlings, R., Hall, A.: Will it work? In: Proceedings 5th IEEE International Symposium on Requirements Engineering, pp. 102-109. IEEE Computer Society (2001)
-
(2001)
Proceedings 5th IEEE International Symposium on Requirements Engineering
, pp. 102-109
-
-
Hammond, J.1
Rawlings, R.2
Hall, A.3
-
30
-
-
84995353138
-
-
http://www.choreos.eu/bin/view/Documentation/Requirements-Tool
-
-
-
|