TY  - CHAP
AU  - Ahmad, A
AU  - Babar, MA
TI  - A framework for architecture-driven migration of legacy systems to cloud-enabled software
T2  - 11th Working IEEE/IFIP Conference on Software Architecture, WICSA 2014
PB  - Association for Computing Machinery (ACM)
SN  - 9781450325233
PB  - Association for Computing Machinery (ACM)
PY  - 2014
DO  - 10.1145/2578128.2578232
UR  - https://m2.mtmt.hu/api/publication/24130093
ID  - 24130093
N1  - A4
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Cheng, BHC
AU  - Eder, KI
AU  - Gogolla, M
AU  - Grunske, L
AU  - Litoiu, M
AU  - Müller, HA
AU  - Pelliccione, P
AU  - Perini, A
AU  - Qureshi, NA
AU  - Rumpe, B
AU  - Schneider, D
AU  - Trollmann, F
AU  - Villegas, NM
TI  - Using models at runtime to address assurance for self-adaptive systems
JF  - LECTURE NOTES IN COMPUTER SCIENCE
J2  - LECT NOTES COMPUT SC
VL  - 8378 LNCS
PY  - 2014
SP  - 101
EP  - 136
PG  - 36
SN  - 0302-9743
DO  - 10.1007/978-3-319-08915-7_4
UR  - https://m2.mtmt.hu/api/publication/24130090
ID  - 24130090
N1  - A4
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Graja, I
AU  - Loulou, I
AU  - Kacem, AH
TI  - SOA-CoM: Building a correct by design service oriented architectural style: Supporting structural and non-functional properties
T2  - 9th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2014
PB  - SciTePress
SN  - 9789897580307
PB  - SciTePress
PY  - 2014
SP  - 172
EP  - 179
PG  - 8
UR  - https://m2.mtmt.hu/api/publication/24130091
ID  - 24130091
N1  - A4 Control and Communication (INSTICC); Institute for Systems and Technologies of Information,
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Stachtiari, E
AU  - Vesyropoulos, N
AU  - Kourouleas, G
AU  - Georgiadis, CK
AU  - Katsaros, P
TI  - Correct-by-construction web service architecture
T2  - 8th IEEE International Symposium on Service Oriented System Engineering, SOSE 2014
PB  - IEEE Computer Society
SN  - 9781479925049
PB  - IEEE Computer Society
PY  - 2014
SP  - 47
EP  - 58
PG  - 12
DO  - 10.1109/SOSE.2014.12
UR  - https://m2.mtmt.hu/api/publication/24130092
ID  - 24130092
N1  - A4
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Bagheri, Hamid
AU  - Sullivan, Kevin
TI  - Pol: Specification-Driven Synthesis of Architectural Code Frameworks for Platform-Based Applications
JF  - ACM SIGPLAN NOTICES
J2  - ACM SIGPLAN NOTICES
VL  - 48
PY  - 2013
IS  - 3
SP  - 93
EP  - 102
PG  - 10
SN  - 0362-1340
DO  - 10.1145/2480361.2371416
UR  - https://m2.mtmt.hu/api/publication/32267933
ID  - 32267933
AB  - Developing applications that use complex platforms for functionalities such as authentication and messaging is hard. Model-driven engineering promises to help, but transformation systems are themselves hard to produce. We contribute a new approach using constraint-based synthesis of partial code frameworks that developers complete by hand without the need for hand-coded transformation systems. Rather, synthesis is driven by formal, partial specifications of target platforms and application architectures, and by design (code) fragments encoding application-specific platform usage patterns. We present results of an early evaluation using the case study method to test hypotheses of feasibility and potential industrial utility, using a laboratory model of a nationwide health information network as a subject system.
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Naddaf, MR
AU  - Rafe, V
TI  - Performance modeling and analysis of software architectures specified through graph transformations
JF  - COMPUTING AND INFORMATICS
J2  - COMPUT INFORM
VL  - 32
PY  - 2013
IS  - 4
SP  - 797
EP  - 826
PG  - 30
SN  - 1335-9150
UR  - https://m2.mtmt.hu/api/publication/24130162
ID  - 24130162
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Rafe, V
AU  - Hajvali, M
TI  - Designing an architectural style for pervasive healthcare systems
JF  - JOURNAL OF MEDICAL SYSTEMS
J2  - J MED SYST
VL  - 37
PY  - 2013
IS  - 2
SN  - 0148-5598
DO  - 10.1007/s10916-013-9927-6
UR  - https://m2.mtmt.hu/api/publication/23929717
ID  - 23929717
N1  - doi: 10.1007/s10916-013-9927-6
Megjegyzés-24127353
doi: 10.1007/s10916-013-9927-6
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Rafe, V
TI  - Scenario-driven analysis of systems specified through graph transformations
JF  - JOURNAL OF VISUAL LANGUAGES AND COMPUTING
J2  - J VISUAL LANG COMPUT
VL  - 24
PY  - 2013
IS  - 2
SP  - 136
EP  - 145
PG  - 10
SN  - 1045-926X
DO  - 10.1016/j.jvlc.2012.12.002
UR  - https://m2.mtmt.hu/api/publication/24542320
ID  - 24542320
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Ren, H -M
AU  - Liu, J
TI  - Research on interactive action refinement of software architecture
JF  - DIANZI KEJI DAXUE XUEBAO / JOURNAL OF UNIVERSITY OF ELECTRONIC SCIENCE AND TECHNOLOGY OF CHINA
J2  - DIANZI KEJI DAXUE XUEBAO / J UNIV ELECTR SCI TECHN CHINA
VL  - 42
PY  - 2013
IS  - 1
SP  - 137
EP  - 143
PG  - 7
SN  - 1001-0548
DO  - 10.3969/j.issn.1001-0548.2013.01.028
UR  - https://m2.mtmt.hu/api/publication/23929718
ID  - 23929718
LA  - Chinese
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Hajiee, M
AU  - Rasoolzade, S
AU  - Rafe, R
TI  - A framework to non-functional modelling and analysis of software architectures
JF  - INFORMATION-TOKYO
J2  - INFORMATION-TOKYO
VL  - 15
PY  - 2012
IS  - 10
SP  - 4205
EP  - 4212
PG  - 8
SN  - 1343-4500
UR  - https://m2.mtmt.hu/api/publication/23929714
ID  - 23929714
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Zhao, B
AU  - Zhao, Y
AU  - Ma, D
TI  - A constraint mechanism for dynamic evolution of service oriented systems
T2  - Proceedings - 2012 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2012
SN  - 9780769546438
PY  - 2012
SP  - 103
EP  - 110
PG  - 8
DO  - 10.1109/ISORC.2012.22
UR  - https://m2.mtmt.hu/api/publication/23929715
ID  - 23929715
N1  - doi: 10.1109/ISORC.2012.22
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Zhou, Y
AU  - Yan, X
AU  - Huang, Z
TI  - A graph transformation based approach for modeling component-level migration in mobile environments
T2  - Proceedings - International Computer Software and Applications Conference
SN  - 9780769547589
PY  - 2012
SP  - 152
EP  - 157
PG  - 6
DO  - 10.1109/COMPSACW.2012.37
UR  - https://m2.mtmt.hu/api/publication/23929712
ID  - 23929712
N1  - doi: 10.1109/COMPSACW.2012.37
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Aminpour, R
AU  - Rafe, V
AU  - Rahmanei, M
TI  - Modeling and non-functional analysis of service-oriented architectures using AADL
JF  - SCIENTIFIC RESEARCH AND ESSAYS
J2  - SCI RES ESSAYS
VL  - 6
PY  - 2011
IS  - 16
SP  - 3504
EP  - 3513
PG  - 10
SN  - 1992-2248
UR  - https://m2.mtmt.hu/api/publication/24124101
ID  - 24124101
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Hegedüs, Ábel
AU  - Horváth, Ákos
AU  - Ráth, István Zoltán
AU  - Varró, Dániel
TI  - A Model-driven Framework for Guided Design Space Exploration
T2  - 2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011
PB  - IEEE
SN  - 9781457716393
T3  - 2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011
PY  - 2011
SP  - 173
EP  - 182
PG  - 10
DO  - 10.1109/ASE.2011.6100051
UR  - https://m2.mtmt.hu/api/publication/2665656
ID  - 2665656
N1  - ACM Distinguished Paper Award, Acceptance rate: 15%
AB  - Design space exploration (DSE) aims at searching through various 
models representing different design candidates to support 
activities like configuration design of critical systems or 
automated maintenance of IT systems. In model-driven 
engineering, DSE is applied to find instance models that are (i) 
reachable from an initial model with a sequence of 
transformation rules and (ii) satisfy a set of structural and 
numerical constraints. Since exhaustive exploration of the 
design space is infeasible for large models, the traversal is 
often guided by hints, derived by system analysis, to prioritize 
the next states to traverse (selection criteria) and to avoid 
searching unpromising states (cut-off criteria). In this paper, 
we define an exploration approach where selection and cut-off 
criteria are defined using dependency analysis of transformation 
rules and an algebraic abstraction. The approach is evaluated 
against other exploration techniques and illustrated on a cloud 
infrastructure configuration problem.
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Khedmati, M
AU  - Rafeh, V
AU  - Rahmani, M
TI  - Verification and validation of model refinement implemented through graph transformation systems
JF  - INTERNATIONAL JOURNAL OF PHYSICAL SCIENCES
J2  - INT J PHYS SCI
VL  - 6
PY  - 2011
IS  - 16
SP  - 4086
EP  - 4090
PG  - 5
SN  - 1992-1950
UR  - https://m2.mtmt.hu/api/publication/23885457
ID  - 23885457
N1  - Department of Computer Engineering, Arak Branch, Islamic Azad University, Arak, Iran            
            Department of Computer Engineering, Malayer Branch, Islamic Azad University, Malayer, Iran            
            Cited By :2            
            Export Date: 20 May 2022            
            Correspondence Address: Rahmani, M.; Department of Computer Engineering, , Malayer, Iran; email: m-rahmani@araku.ac.ir
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Rafe, V
AU  - Nikanjam, A
AU  - Rezaei, M
TI  - Galoan: A multi-agent approach to herd cows
JF  - ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE
J2  - ANN MATH ARTIF INTEL
VL  - 61
PY  - 2011
IS  - 4
SP  - 333
EP  - 348
PG  - 16
SN  - 1012-2443
DO  - 10.1007/s10472-011-9227-0
UR  - https://m2.mtmt.hu/api/publication/23929711
ID  - 23929711
LA  - English
DB  - MTMT
ER  - 

TY  - CONF
AU  - Rafe, V
AU  - Mahdian, F
TI  - Style-based modeling and verification of fault tolerance service oriented architectures
T2  - Procedia Computer Science
PY  - 2011
SP  - 972
EP  - 976
PG  - 5
DO  - 10.1016/j.procs.2010.12.159
UR  - https://m2.mtmt.hu/api/publication/24124102
ID  - 24124102
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Zhao, Y
AU  - Ma, D
AU  - Li, J
AU  - Li, Z
TI  - Model checking of adaptive programs with mode-extended linear temporal logic
T2  - Proceedings - 8th IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems, EASe 2011
SN  - 9780769543802
PY  - 2011
SP  - 40
EP  - 48
PG  - 9
DO  - 10.1109/EASe.2011.13
UR  - https://m2.mtmt.hu/api/publication/23929704
ID  - 23929704
N1  - doi: 10.1109/EASe.2011.13
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Bagheri, H
AU  - Sullivan, K
ED  - Petriu, DC
ED  - Rouquette, N
ED  - Haugen, O
TI  - Monarch: Model-based development of software architectures
T2  - Model Driven Engineering Languages and Systems
PB  - Springer Netherlands
CY  - Berlin
SN  - 9783642161285
T3  - Lecture Notes in Computer Science, ISSN 0302-9743 ; 6395.
PY  - 2010
SP  - 376
EP  - 390
PG  - 15
DO  - 10.1007/978-3-642-16129-2_27
UR  - https://m2.mtmt.hu/api/publication/23929687
ID  - 23929687
N1  - UR: http://www.scopus.com/inward/record.url?eid=2-s2.0-
78349263884&partnerID=40&md5=3e82b57401bec877fb088d402fff8677
LA  - English
DB  - MTMT
ER  - 

TY  - THES
AU  - Gacitua-Decar, V
TI  - Graph-based Pattern Matching and Discovery for Process-centric Service Architecture Design and Integration
PY  - 2010
UR  - https://m2.mtmt.hu/api/publication/24127377
ID  - 24127377
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Mahdian, F
AU  - Rafe, V
TI  - Different models of dependable services in service-oriented architecture
T2  - ICACTE 2010 - 2010 3rd International Conference on Advanced Computer Theory and Engineering, Proceedings
SN  - 9781424465408
PY  - 2010
SP  - V1217
EP  - V1220
DO  - 10.1109/ICACTE.2010.5579029
UR  - https://m2.mtmt.hu/api/publication/23929688
ID  - 23929688
N1  - Art. No.: 5579029
UR: http://www.scopus.com/inward/record.url?eid=2-s2.0-
78149351063&partnerID=40&md5=879bf3235a171735dbceeac09b5b46a2
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Zhao, Y
AU  - Zhao, B
AU  - Liu, M
AU  - Hu, C
AU  - Ma, D
TI  - Towards a graph grammar based verification approach for runtime constrained evolution of service-oriented architectures
T2  - Proceedings - 5th IEEE International Symposium on Service-Oriented System Engineering, SOSE 2010
SN  - 9780769540818
PY  - 2010
SP  - 159
EP  - 164
PG  - 6
DO  - 10.1109/SOSE.2010.12
UR  - https://m2.mtmt.hu/api/publication/23929705
ID  - 23929705
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Aldinucci, M
AU  - Danelutto, M
AU  - Kilpatrick, P
TI  - Semi-formal models to support program development: Autonomic management within component based parallel and distributed programming
JF  - LECTURE NOTES IN COMPUTER SCIENCE
J2  - LECT NOTES COMPUT SC
VL  - 5751 LNCS
PY  - 2009
SP  - 204
EP  - 225
PG  - 22
SN  - 0302-9743
DO  - 10.1007/978-3-642-04167-9_11
UR  - https://m2.mtmt.hu/api/publication/23929720
ID  - 23929720
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Bruni, R
AU  - Hölzl, M
AU  - Koch, N
AU  - Lluch, Lafuente A
AU  - Mayer, P
AU  - Montanari, U
AU  - Schroeder, A
AU  - Wirsing, M
TI  - A service-oriented UML profile with formal support
JF  - LECTURE NOTES IN COMPUTER SCIENCE
J2  - LECT NOTES COMPUT SC
VL  - 5900 LNCS
PY  - 2009
SP  - 455
EP  - 469
PG  - 15
SN  - 0302-9743
DO  - 10.1007/978-3-642-10383-4_34
UR  - https://m2.mtmt.hu/api/publication/23929719
ID  - 23929719
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Bruni, R
AU  - Lluch, Lafuente A
AU  - Montanari, U
TI  - Hierarchical Design Rewriting with Maude
JF  - ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
J2  - ELECTR NOTES COMPUT SCI
VL  - 238
PY  - 2009
IS  - 3
SP  - 45
EP  - 62
PG  - 18
SN  - 1571-0661
DO  - 10.1016/j.entcs.2009.05.012
UR  - https://m2.mtmt.hu/api/publication/23929681
ID  - 23929681
N1  - Source: Scopus
UR: http://www.scopus.com/inward/record.url?eid=2-s2.0-67649510256&partnerID=40&md5=4232e28b248d6c659c543974a7c1c7ea
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Bucchiarone, A
AU  - Dennis, G
AU  - Gnesi, S
TI  - A Graph-based Design Framework for Global Computing Systems
JF  - ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
J2  - ELECTR NOTES COMPUT SCI
VL  - 236
PY  - 2009
IS  - C
SP  - 117
EP  - 130
PG  - 14
SN  - 1571-0661
DO  - 10.1016/j.entcs.2009.03.018
UR  - https://m2.mtmt.hu/api/publication/23929496
ID  - 23929496
N1  - Source: Scopus
UR: http://www.scopus.com/inward/record.url?eid=2-s2.0-62949154958&partnerID=40&md5=af96e3776fab361787656a12c1d0c68a
Megjegyzés-23928986
Source: Scopus
UR: http://www.scopus.com/inward/record.url?eid=2-s2.0-62949154958&partnerID=40&md5=af96e3776fab361787656a12c1d0c68a
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Gacitua-Decar, V
AU  - Pahl, C
TI  - Ontology-based patterns for the integration of business processes and enterprise application architectures
T2  - Semantic Enterprise Application Integration for Business Processes: Service-Oriented Frameworks
PB  - IGI Global
SN  - 9781605668048
PB  - IGI Global
PY  - 2009
SP  - 36
EP  - 60
PG  - 25
DO  - 10.4018/978-1-60566-804-8.ch003
UR  - https://m2.mtmt.hu/api/publication/24130135
ID  - 24130135
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Hashemi, S
AU  - ZadMiralvad, M R
TI  - Automatic refinement of platform independent models using graph transformation system
T2  - 4th International Conference on Frontier of Computer Science and Technology, FCST 2009
SN  - 9780769539324
PY  - 2009
SP  - 424
EP  - 428
PG  - 5
DO  - 10.1109/FCST.2009.116
UR  - https://m2.mtmt.hu/api/publication/23929708
ID  - 23929708
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Gönczy, László
AU  - Zs, Déri
AU  - Varró, Dániel
TI  - Model transformations for performability analysis of service configurations
JF  - LECTURE NOTES IN COMPUTER SCIENCE
J2  - LECT NOTES COMPUT SC
VL  - 5421
PY  - 2009
SP  - 153
EP  - 166
PG  - 14
SN  - 0302-9743
DO  - 10.1007/978-3-642-01648-6_17
UR  - https://m2.mtmt.hu/api/publication/2653432
ID  - 2653432
AB  - As more and more business-critical systems are based upon services deployed over flexible and dynamic platforms like Service-Oriented Architecture (SOA), there is an increasing need for such services to meet their non-functional requirements like reliability, availability, security, etc. To achieve such objectives, these services need tobe designed carefully making critical design decisions early in the development process on an architectural level.

In the current paper, we aim at carrying out a performability analysis of service configurations to estimate the cost of using reliable messaging techniques for services with respect to performance. Such an analysis is enabled by automated model transformations carried out within the VIATRA2 framework.
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Mahdian, F
AU  - Rafe, V
AU  - Rafeh, R
AU  - Miralvand, M R Z
TI  - Considering faults in service-oriented architecture: A graph transformation- based approach
T2  - ICCTD 2009 - 2009 International Conference on Computer Technology and Development
PB  - IEEE Computer Society
SN  - 9780769538921
PY  - 2009
SP  - 179
EP  - 183
PG  - 5
DO  - 10.1109/ICCTD.2009.171
UR  - https://m2.mtmt.hu/api/publication/21489748
ID  - 21489748
LA  - English
DB  - MTMT
ER  - 

TY  - CONF
AU  - Mahdian, F
AU  - Rafe, V
AU  - Rafeh, R
AU  - Rahmani, A T
TI  - Modeling fault tolerant services in service-oriented architecture
T2  - Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009
PY  - 2009
SP  - 319
EP  - 320
PG  - 2
DO  - 10.1109/TASE.2009.41
UR  - https://m2.mtmt.hu/api/publication/23929680
ID  - 23929680
N1  - Source: Scopus
Art. No.: 5198530
UR: http://www.scopus.com/inward/record.url?eid=2-s2.0-71049131474&partnerID=40&md5=15bf132cdc6e105417ee2d175cbdebd7
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Miralvand, M R Z
AU  - Rafe, V
AU  - Rafeh, R
AU  - Hajiee, M
TI  - Automatic refinement of platform independent models
T2  - ICCTD 2009 - 2009 International Conference on Computer Technology and Development
PB  - IEEE Computer Society
SN  - 9780769538921
PY  - 2009
SP  - 191
EP  - 195
PG  - 5
DO  - 10.1109/ICCTD.2009.170
UR  - https://m2.mtmt.hu/api/publication/21490101
ID  - 21490101
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Rafe, V
AU  - Rahmani, AT
TI  - Towards automated software model checking using graph transformationsystems and Bogor
JF  - JOURNAL OF ZHEJIANG UNIVERSITY-SCIENCE A
J2  - J ZHEJIANG UNIV-SCI A
VL  - 10
PY  - 2009
IS  - 8
SP  - 1093
EP  - 1105
PG  - 13
SN  - 1673-565X
DO  - 10.1631/jzus.A0820415
UR  - https://m2.mtmt.hu/api/publication/23929047
ID  - 23929047
N1  - Megjegyzés-23929679
Source: Scopus
UR: http://www.scopus.com/inward/record.url?eid=2-s2.0-68849123221&partnerID=40&md5=f4862207a6facff6cb3e74053f099575
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Rafe, V
AU  - Rahmani, AT
AU  - Baresi, L
AU  - Spoletini, P
TI  - Towards automated verification of layered graph transformation specifications
JF  - IET SOFTWARE
J2  - IET SOFTW
VL  - 3
PY  - 2009
IS  - 4
SP  - 276
EP  - 291
PG  - 16
SN  - 1751-8806
DO  - 10.1049/iet-sen.2008.0059
UR  - https://m2.mtmt.hu/api/publication/24135026
ID  - 24135026
N1  - Megjegyzés-23929678
Source: Scopus
UR: http://www.scopus.com/inward/record.url?eid=2-s2.0-68349146196&partnerID=40&md5=bc4ae56ba06e19de47c1cf45a09274d6
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Raftari, M
AU  - Joodaki, S
TI  - Automatic development of service oriented models using graph transformation systems
T2  - TENCON 2009, 2009 IEEE Region 10 Conference
PB  - IEEE
CY  - Singapore
SN  - 9781424445462
T3  - IEEE Region 10 Conference 2009, ISSN 0886-1420
PY  - 2009
DO  - 10.1109/TENCON.2009.5395983
UR  - https://m2.mtmt.hu/api/publication/21490102
ID  - 21490102
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Zhao, Y
AU  - Ma, D
AU  - Liu, M
AU  - Hu, C
AU  - Huang, Y
TI  - A graph transformation based approach for runtime constrained evolution of service-oriented architectures
T2  - 17th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, PDP 2009
PB  - IEEE Computer Society
SN  - 9780769535449
PB  - IEEE Computer Society
PY  - 2009
SP  - 203
EP  - 209
PG  - 7
DO  - 10.1109/PDP.2009.9
UR  - https://m2.mtmt.hu/api/publication/24130143
ID  - 24130143
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Bruni, R
AU  - Lafuente, AL
AU  - Montanari, U
TI  - Hierarchical design rewriting with Maude
JF  - ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
J2  - ELECTR NOTES COMPUT SCI
VL  - 2008
PY  - 2008
SP  - 35
EP  - 51
PG  - 17
SN  - 1571-0661
UR  - https://m2.mtmt.hu/api/publication/24130097
ID  - 24130097
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Bruni, R
AU  - Lluch, Lafuente A
AU  - Montanari, U
AU  - Tuosto, E
TI  - Service oriented architectural design
JF  - LECTURE NOTES IN COMPUTER SCIENCE
J2  - LECT NOTES COMPUT SC
VL  - 4912 LNCS
PY  - 2008
SP  - 186
EP  - 203
PG  - 18
SN  - 0302-9743
DO  - 10.1007/978-3-540-78663-4_14
UR  - https://m2.mtmt.hu/api/publication/23929721
ID  - 23929721
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Bruni, R
AU  - Lafuente, A L
AU  - Montanari, U
AU  - Tuosto, E
TI  - Style based architectural reconfigurations
VL  - 94
PY  - 2008
SP  - 161
EP  - 180
UR  - https://m2.mtmt.hu/api/publication/23929696
ID  - 23929696
LA  - English
DB  - MTMT
ER  - 

TY  - BOOK
AU  - Giesecke, S
TI  - Architectural styles for early goal-driven middleware platform selection
PB  - GITO Verlag
PY  - 2008
SN  - 3940019542
UR  - https://m2.mtmt.hu/api/publication/23929699
ID  - 23929699
LA  - English
DB  - MTMT
ER  - 

TY  - CONF
AU  - Gonczy, L
AU  - Deri, Z
AU  - Varro, D
TI  - Model driven performability analysis of service configurations with reliable messaging?
T2  - 4th International Workshop on Model-Driven Web Engineering, MDWE 2008
PY  - 2008
SP  - 61
EP  - 75
PG  - 15
UR  - https://m2.mtmt.hu/api/publication/27183491
ID  - 27183491
LA  - English
DB  - MTMT
ER  - 

TY  - GEN
AU  - Groenewegen, LPJ
AU  - de Vink, EP
TI  - Dynamic system adaptation by constraint orchestration
PY  - 2008
UR  - https://m2.mtmt.hu/api/publication/23929698
ID  - 23929698
N1  - UR: http://repository.tue.nl/640108
LA  - English
DB  - MTMT
ER  - 

TY  - CONF
AU  - Mayer, P
AU  - Schroeder, A
AU  - Koch, N
TI  - Mdd4soa: Model-driven service orchestration
T2  - Enterprise Distributed Object Computing Conference, 2008. EDOC'08. 12th International IEEE
PB  - IEEE
PB  - IEEE
PY  - 2008
SP  - 203
EP  - 212
PG  - 10
DO  - 10.1109/EDOC.2008.55
UR  - https://m2.mtmt.hu/api/publication/23929697
ID  - 23929697
LA  - English
DB  - MTMT
ER  - 

TY  - CONF
AU  - Berzins, V
AU  - Rodriguez, M
TI  - Putting teeth into open architectures: Infrastructure for reducing the need for retesting
T2  - 4th Annual Acquisition Research Symposium of the Naval Postgraduate School
PB  - Naval Postgraduate School
PB  - Naval Postgraduate School
PY  - 2007
SP  - 285
EP  - 312
PG  - 28
UR  - https://m2.mtmt.hu/api/publication/23929693
ID  - 23929693
N1  - UR: http://handle.dtic.mil/100.2/ADA493708
LA  - English
DB  - MTMT
ER  - 

TY  - CONF
AU  - Giesecke, S
AU  - Marwede, F
AU  - Rohr, M
AU  - Hasselbring, W
TI  - A style-based architecture modelling approach for uml 2 component diagrams
T2  - 11th IASTED International Conference Software Engineering and Applications (SEA 2007), Cambridge, MA, USA, Anaheim, CA, USA, ACTA Press
PY  - 2007
SP  - 530
EP  - 538
PG  - 9
UR  - https://m2.mtmt.hu/api/publication/23929695
ID  - 23929695
LA  - English
DB  - MTMT
ER  - 

TY  - CONF
AU  - Gönczy, L
TI  - Methodology for a Precise Development Process of Service Oriented Applications
T2  - 2nd European Young Researchers Workshop on Service Oriented Computing
PB  - s.n.
PY  - 2007
SP  - 50
EP  - 55
PG  - 6
UR  - https://m2.mtmt.hu/api/publication/24127419
ID  - 24127419
N1  - UR: http://fmt.isti.cnr.it/~mtbeek/proceedingsYRSOC07.pdf#page=60
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Gönczy, László
AU  - Heckel, R
AU  - Varró, Dániel
ED  - Petrenko, A.
ED  - Veanes, M.
ED  - Tretmans, J.
ED  - Grieskamp, W.
TI  - Model-Based Testing of Service Infrastructure Components
T2  - Testing of Software and Communicating Systems
PB  - International Federation for Information Processing (IFIP)
CY  - Berlin
CY  - Heidelberg
SN  - 9783540730668
T3  - Lecture Notes in Computer Science, ISSN 0302-9743 ; 4581.
PY  - 2007
SP  - 155
EP  - 170
PG  - 16
DO  - 10.1007/978-3-540-73066-8_11
UR  - https://m2.mtmt.hu/api/publication/2614848
ID  - 2614848
N1  - (TESTCOM / FATES 2007)

LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Jia, X
AU  - Ying, S
AU  - Zhang, T
AU  - Cao, H
AU  - Xie, D
TI  - A new architecture description language for service-oriented architecture
T2  - 6th International Conference on Grid and Cooperative Computing, GCC 2007
PB  - IEEE
SN  - 0769528716
PB  - IEEE
PY  - 2007
SP  - 96
EP  - 103
PG  - 8
DO  - 10.1109/GCC.2007.18
UR  - https://m2.mtmt.hu/api/publication/24130147
ID  - 24130147
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Kozlenkov, A
AU  - Spanoudakis, G
AU  - Zisman, A
AU  - Fasoulas, V
AU  - Sanchez, F
TI  - Architecture-driven service discovery for service centric systems
JF  - INTERNATIONAL JOURNAL OF WEB SERVICES RESEARCH
J2  - INT J WEB SERV RES
VL  - 4
PY  - 2007
IS  - 2
SP  - 82
EP  - 113
PG  - 32
SN  - 1545-7362
DO  - 10.4018/jwsr.2007040104
UR  - https://m2.mtmt.hu/api/publication/23929694
ID  - 23929694
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Kövi, András
AU  - Varró, Dániel
TI  - An Eclipse-Based Framework for AIS Service Configurations
JF  - LECTURE NOTES IN COMPUTER SCIENCE
J2  - LECT NOTES COMPUT SC
VL  - 4526
PY  - 2007
SP  - 110
EP  - 126
PG  - 17
SN  - 0302-9743
DO  - 10.1007/978-3-540-72736-1_10
UR  - https://m2.mtmt.hu/api/publication/1635306
ID  - 1635306
AB  - In the paper, we propose an Eclipse-based model-driven framework to support an integrated development, analysis and deployment of Application Interface Specification (AIS) service configurations. Service configurations are first captured by platform-independent models (PIM), which directly correspond to the AIS standard itself, and abstract from vendor-specific details. Specificities of vendor-specific AIS middleware are incorporated into platform-specific models (PSM), which are derived from PIMs by automatic model transformations. Model analysis can be carried out either on the PIM-level to ensure standard compliance of a given service configuration, or on the PSM-level to detect availability bottlenecks by formal analysis early in the service configuration design. Finally, deployment descriptors of the selected AIS platform are generated from verified service configurations by automatic code generation techniques.
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Song, H
AU  - Sun, Y
AU  - Zhou, L
AU  - Huang, G
TI  - Towards instant automatic model refinement based on OCL
T2  - 14th Asia Pacific Software Engineering Conference, ASPCE 2007
PB  - IEEE
SN  - 0769530575
PB  - IEEE
PY  - 2007
SP  - 167
EP  - 174
PG  - 8
DO  - 10.1109/APSEC.2007.96
UR  - https://m2.mtmt.hu/api/publication/24130145
ID  - 24130145
N1  - A4 SIG Software Eng. Inf. Process. Soc. Japan (IPSJ/SIGSE)
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Spanoudakis, G
AU  - Zisman, A
ED  - IEEE, null
TI  - UML-based service discovery tool
T2  - 21st IEEE/ACM International Conference on Automated Software Engineering, ASE 2006
PB  - IEEE
CY  - New York, New York
SN  - 0769525792
T3  - Proceedings - 21st IEEE/ACM International Conference on Automated Software Engineering, ASE 2006, ISSN 1938-4300
PY  - 2006
SP  - 361
EP  - 362
PG  - 2
DO  - 10.1109/ASE.2006.70
UR  - https://m2.mtmt.hu/api/publication/23929692
ID  - 23929692
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Wirsing, M
AU  - Clark, A
AU  - Gilmore, S
AU  - Hoelzl, M
AU  - Knapp, A
AU  - Koch, N
AU  - Schroeder, A
TI  - Semantic-based development of service-oriented systems
JF  - LECTURE NOTES IN COMPUTER SCIENCE
J2  - LECT NOTES COMPUT SC
VL  - 4229
PY  - 2006
SP  - 24
EP  - 45
PG  - 22
SN  - 0302-9743
UR  - https://m2.mtmt.hu/api/publication/23885572
ID  - 23885572
N1  - Megjegyzés-23929677
SE: LECTURE NOTES IN COMPUTER SCIENCE
LA  - English
DB  - MTMT
ER  - 

TY  - THES
AU  - Zahalka, J
TI  - Web Engineering für asynchrone Anwendungen
PY  - 2006
DO  - 10.3239/9783638481632
UR  - https://m2.mtmt.hu/api/publication/23929691
ID  - 23929691
LA  - English
DB  - MTMT
ER  -