-
2
-
-
84879480906
-
-
The Open SOA Collaboration
-
The Open SOA Collaboration: SCA web-site, http://www.osoa.org/display/Main/Service+Component+Architecture+Home
-
SCA web-site
-
-
-
5
-
-
38049113286
-
Model-Driven Development with the jABC
-
In: Bin, E., Ziv, A., Ur, S. (eds.), LNCS,. Springer, Heidelberg
-
Steffen, B., Margaria, T., Nagel, R., Jörges, S., Kubczak, C.: Model-Driven Development with the jABC. In: Bin, E., Ziv, A., Ur, S. (eds.) HVC 2006. LNCS, vol. 4383, pp. 92-108. Springer, Heidelberg (2007)
-
(2007)
HVC 2006
, vol.4383
, pp. 92-108
-
-
Steffen, B.1
Margaria, T.2
Nagel, R.3
Jörges, S.4
Kubczak, C.5
-
7
-
-
33750124865
-
Service engineering: Linking business and IT
-
Margaria, T., Steffen, B.: Service engineering: Linking business and IT. IEEE Computer 39(10), 45-55 (2006)
-
(2006)
IEEE Computer
, vol.39
, Issue.10
, pp. 45-55
-
-
Margaria, T.1
Steffen, B.2
-
8
-
-
36749096905
-
Full life-cycle support for end-to-end processes
-
Steffen, B., Narayan, P.: Full life-cycle support for end-to-end processes. IEEE Computer 40(11), 64-73 (2007)
-
(2007)
IEEE Computer
, vol.40
, Issue.11
, pp. 64-73
-
-
Steffen, B.1
Narayan, P.2
-
10
-
-
23044518175
-
METAFrame in practice: Design of Intelligent Network Services
-
In: Olderog, E.-R., Steffen, B. (eds.), LNCS,. Springer, Heidelberg
-
Steffen, B., Margaria, T.: METAFrame in practice: Design of Intelligent Network Services. In: Olderog, E.-R., Steffen, B. (eds.) Correct System Design. LNCS, vol. 1710, pp. 390-415. Springer, Heidelberg (1999)
-
(1999)
Correct System Design
, vol.1710
, pp. 390-415
-
-
Steffen, B.1
Margaria, T.2
-
11
-
-
4243088533
-
An environment for the creation of intelligent network services
-
In:, Int. Engineering Consortium (IEC), Chicago, USA, (November
-
Steffen, B., Margaria, T., Clasen, A., Braun, V., Reitenspies, M.: An environment for the creation of intelligent network services. In: Annual Review of Communication, Int. Engineering Consortium (IEC), Chicago, USA, pp. 919-935 (November 1996)
-
(1996)
Annual Review of Communication
, pp. 919-935
-
-
Steffen, B.1
Margaria, T.2
Clasen, A.3
Braun, V.4
Reitenspies, M.5
-
12
-
-
33744965257
-
Service-oriented design: The roots
-
In: Benatallah, B., Casati, F., Traverso, P. (eds.), LNCS,. Springer, Heidelberg
-
Margaria, T., Steffen, B., Reitenspies, M.: Service-oriented design: The roots. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 450-464. Springer, Heidelberg (2005)
-
(2005)
ICSOC 2005
, vol.3826
, pp. 450-464
-
-
Margaria, T.1
Steffen, B.2
Reitenspies, M.3
-
13
-
-
78649828739
-
Service-oriented Mediation with jABC/jETI
-
In: Petrie, C., Lausen, H., Zaremba, M., Margaria, T. (eds.), Springer, Heidelberg (to appear
-
Kubczak, C., Margaria, T., Steffen, B., Nagel, R.: Service-oriented Mediation with jABC/jETI. In: Petrie, C., Lausen, H., Zaremba, M., Margaria, T. (eds.) Semantic Web Services Challenge: Results from the First Year (Semantic Web and Beyond). Springer, Heidelberg (to appear, 2008)
-
(2008)
Semantic Web Services Challenge: Results from the First Year (Semantic Web and Beyond)
-
-
Kubczak, C.1
Margaria, T.2
Steffen, B.3
Nagel, R.4
-
15
-
-
1542700278
-
-
Object Management Group
-
Object Management Group: MDA guide version 1.0.1, http://www.omg.org/cgi-bin/apps/doc?omg/03-06-01.pdf
-
MDA guide version 1.0.1
-
-
-
16
-
-
49949095003
-
-
ISBRA 2008, In: Mǎndoiu, I., Sunderraman, R., Zelikovsky, A. (eds.), LNCS (LNBI),. Springer, Heidelberg
-
Lamprecht, A.L., Margaria, T., Steffen, B.: Seven variations of an alignment workflow-an illustration of agile process design/management in Bio-jETI. In: Mǎndoiu, I., Sunderraman, R., Zelikovsky, A. (eds.) ISBRA 2008. LNCS (LNBI), vol. 4983, pp. 445-456. Springer, Heidelberg (2008)
-
(2008)
Seven variations of an alignment workflow-an illustration of agile process design/management in Bio-jETI
, vol.4983
, pp. 445-456
-
-
Lamprecht, A.L.1
Margaria, T.2
Steffen, B.3
-
17
-
-
44649175821
-
Genefisher-p: Variations of genefisher as processes in biojeti
-
Lamprecht, A.L., Margaria, T., Steffen, B., Sczyrba, A., Hartmeier, S., Giegerich, R.: Genefisher-p: Variations of genefisher as processes in biojeti. BioMed Central (BMC) Bioinformatics 2008. In: Supplement dedicated to Network Tools and Applications in Biology 2007 Workshop (NETTAB 2007), April 25, vol. 9(Suppl. 4), p. 13 (2008)
-
(2008)
BioMed Central (BMC) Bioinformatics 2008. In: Supplement dedicated to Network Tools and Applications in Biology 2007 Workshop (NETTAB 2007), April 25, vol
, vol.9
, Issue.SUPPL. 4
, pp. 13
-
-
Lamprecht, A.L.1
Margaria, T.2
Steffen, B.3
Sczyrba, A.4
Hartmeier, S.5
Giegerich, R.6
-
18
-
-
0022881050
-
Blackboard systems
-
Nii, H.: Blackboard systems. AI Magazine 7(2), 38-53, 7(3), 82-106 (1986)
-
(1986)
AI Magazine 7(2), 38-53
, vol.7
, Issue.3
, pp. 82-106
-
-
Nii, H.1
-
19
-
-
38849178862
-
-
Object Management Group, (CORBA Component Model Specification, v4.0), April
-
Object Management Group: OMG formal/06-04-01 (CORBA Component Model Specification, v4.0) (April 2006)
-
(2006)
OMG formal/06-04-01
-
-
-
20
-
-
0003969116
-
-
Addison Wesley, Reading
-
Matena, V., Krishnan, S., DeMichiel, L., Stearns, B.: Applying Enterprise JavaBeans. Addison Wesley, Reading (2003)
-
(2003)
Applying Enterprise JavaBeans
-
-
Matena, V.1
Krishnan, S.2
DeMichiel, L.3
Stearns, B.4
-
21
-
-
84947918153
-
Procedure calls are the assembly language of software interconnection: Connectors deserve first-class status
-
In: Lamb, D.A. (ed.), LNCS,. Springer, Heidelberg
-
Shaw, M.: Procedure calls are the assembly language of software interconnection: Connectors deserve first-class status. In: Lamb, D.A. (ed.) Selected papers from the Workshop on Studies of Software Design. LNCS, vol. 1078, pp. 17-32. Springer, Heidelberg (1993)
-
(1993)
Selected papers from the Workshop on Studies of Software Design
, vol.1078
, pp. 17-32
-
-
Shaw, M.1
-
22
-
-
0037587555
-
Cadena: An integrated development, analysis, and verification environment for component-based systems
-
In:, May 2003,. IEEE Computer Soceity Press, Los Alamitos
-
Hatcliff, J., Deng, W., Dwyer, M., Jung, G., Ranganath, V.P.: Cadena: An integrated development, analysis, and verification environment for component-based systems. In: Proc. 25th Int. Conf. on Software Engineering (ICSE 2003), May 2003, vol. 841, pp. 160-173. IEEE Computer Soceity Press, Los Alamitos (2003)
-
(2003)
Proc. 25th Int. Conf. on Software Engineering (ICSE 2003)
, vol.841
, pp. 160-173
-
-
Hatcliff, J.1
Deng, W.2
Dwyer, M.3
Jung, G.4
Ranganath, V.P.5
-
24
-
-
0005441619
-
Theory of Hierarchical, Multilevel, Systems
-
Academic Press, New York
-
Mesarovic, M., Macko, D., Takahara, Y.: Theory of Hierarchical, Multilevel, Systems. Mathematics in Science and Engineering, vol. 68. Academic Press, New York (1970)
-
(1970)
Mathematics in Science and Engineering
, vol.68
-
-
Mesarovic, M.1
Macko, D.2
Takahara, Y.3
-
26
-
-
36749099559
-
Service is in the eyes of the beholder
-
Margaria, T.: Service is in the eyes of the beholder. IEEE Computer 40(11), 33-37 (2007)
-
(2007)
IEEE Computer
, vol.40
, Issue.11
, pp. 33-37
-
-
Margaria, T.1
-
27
-
-
36749016304
-
Component contracts in service-oriented architectures
-
Curbera, F.: Component contracts in service-oriented architectures. IEEE Computer 40(11), 74-80 (2007)
-
(2007)
IEEE Computer
, vol.40
, Issue.11
, pp. 74-80
-
-
Curbera, F.1
-
28
-
-
38649133344
-
Building business processes or assembling service components: Reuse services with bpel4ws and sca
-
Zou, Z., Duan, Z.: Building business processes or assembling service components: Reuse services with bpel4ws and sca. In: ECOWS 2006, Proc. European Conference on Web Services, pp. 138-147 (2006)
-
(2006)
ECOWS 2006 Proc. European Conference on Web Services
, pp. 138-147
-
-
Zou, Z.1
Duan, Z.2
-
29
-
-
41849097432
-
A rigorous model of service component architecture
-
Ding, Z., Chen, Z., Liu, J.: A rigorous model of service component architecture. ENTCS 207, 33-48 (2008)
-
(2008)
ENTCS
, vol.207
, pp. 33-48
-
-
Ding, Z.1
Chen, Z.2
Liu, J.3
-
30
-
-
78649828899
-
SENSORIA patterns: Augmenting service engineering with formal analysis, transformation and dynamicity
-
In:,. Springer, Heidelberg (This Volume)
-
Wirsing, M., Hölzl, M., Acciai, L., Banti, F., et al.: SENSORIA patterns: Augmenting service engineering with formal analysis, transformation and dynamicity. In: ISoLA 2008. CCIS, vol. 17, pp. 170-190. Springer, Heidelberg (This Volume) (2008)
-
(2008)
ISoLA 2008. CCIS
, vol.17
, pp. 170-190
-
-
Wirsing, M.1
Hölzl, M.2
Acciai, L.3
Banti, F.4
-
31
-
-
38049073909
-
Algebraic Semantics of Service Component Modules
-
In: Fiadeiro, J.L., Schobbens, P.-Y. (eds.), LNCS,. Springer, Heidelberg
-
Fiadeiro, J.L., Lopes, A., Bocchi, L.: Algebraic Semantics of Service Component Modules. In: Fiadeiro, J.L., Schobbens, P.-Y. (eds.) WADT 2006. LNCS, vol. 4409, pp. 37-55. Springer, Heidelberg (2007)
-
(2007)
WADT 2006
, vol.4409
, pp. 37-55
-
-
Fiadeiro, J.L.1
Lopes, A.2
Bocchi, L.3
-
32
-
-
33845189831
-
A Formal Approach to Service Component Architecture
-
In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.), LNCS,. Springer, Heidelberg
-
Fiadeiro, J.L., Lopes, A., Bocchi, L.: A Formal Approach to Service Component Architecture. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 193-213. Springer, Heidelberg (2006)
-
(2006)
WS-FM 2006
, vol.4184
, pp. 193-213
-
-
Fiadeiro, J.L.1
Lopes, A.2
Bocchi, L.3
-
33
-
-
78649814002
-
The jabc approach to rigorous collaborative development of scm applications
-
In:,. Springer, Heidelberg (This Volume)
-
Hörmann, M., Margaria, T., Mender, T., Nagel, R., Steffen, B., Trinh, H.: The jabc approach to rigorous collaborative development of scm applications. In: ISoLA 2008. CCIS, vol. 17, pp. 724-737. Springer, Heidelberg (This Volume) (2008)
-
(2008)
ISoLA 2008. CCIS
, vol.17
, pp. 724-737
-
-
Hörmann, M.1
Margaria, T.2
Mender, T.3
Nagel, R.4
Steffen, B.5
Trinh, H.6
|