{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,3,30]],"date-time":"2023-03-30T20:28:47Z","timestamp":1680208127241},"reference-count":57,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2014,9,13]],"date-time":"2014-09-13T00:00:00Z","timestamp":1410566400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Comput Sci Res Dev"],"published-print":{"date-parts":[[2015,8]]},"DOI":"10.1007\/s00450-014-0254-z","type":"journal-article","created":{"date-parts":[[2014,9,12]],"date-time":"2014-09-12T12:28:35Z","timestamp":1410524915000},"page":"333-361","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["On-The-Fly computing: automatic service discovery and composition in heterogeneous domains"],"prefix":"10.1007","volume":"30","author":[{"given":"Zille","family":"Huma","sequence":"first","affiliation":[]},{"given":"Christian","family":"Gerth","sequence":"additional","affiliation":[]},{"given":"Gregor","family":"Engels","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,9,13]]},"reference":[{"key":"254_CR1","unstructured":"W3C (2007) Web Service Description Language (WSDL). http:\/\/www.w3.org\/TR\/wsdl20\/"},{"issue":"1\u20132","key":"254_CR2","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/S0169-023X(97)00056-6","volume":"25","author":"R Studer","year":"1998","unstructured":"Studer R, Benjamins VR, Fensel D (1998) Knowledge engineering: principles and methods. Data Knowl Eng 25(1\u20132):161\u2013197","journal-title":"Data Knowl Eng"},{"key":"254_CR3","doi-asserted-by":"crossref","unstructured":"Haller A, Cimpian E, Mocan A, Oren E, Bussler C (2005) WSMX\u2014a semantic service-oriented architecture. In: IEEE international conference on web services (ICWS\u201905). IEEE Computer Society, pp 321\u2013328","DOI":"10.1109\/ICWS.2005.139"},{"key":"254_CR4","unstructured":"LSDIS Lab (2004) Web service semantics. http:\/\/lsdis.cs.uga.edu\/projects\/WSDL-S\/wsdl-s.pdf"},{"key":"254_CR5","unstructured":"OWL-S Coalition (2006) OWL-based web service ontology. http:\/\/www.ai.sri.com\/daml\/services\/owl-s\/1.2\/"},{"key":"254_CR6","unstructured":"Huma Z, Gerth C, Engels G, Juwig O (2012b) UML-based rich service description and discovery in heterogeneous domains. In: Proceedings of the forum at the CAiSE\u201912 conference on advanced information systems engineering, CEUR-WS.org, CEUR workshop proceedings, vol 855, pp 90\u201397"},{"key":"254_CR7","doi-asserted-by":"crossref","unstructured":"Huma Z, Gerth C, Engels G, Juwig O (2012a) Towards an automatic service discovery for UML-based rich service descriptions. In: Proceedings of the 15th international conference on model driven engineering languages and systems (MODELS\u201912), LNCS, vol 7590. Springer, Berlin, pp 709\u2013725","DOI":"10.1007\/978-3-642-33666-9_45"},{"key":"254_CR8","unstructured":"Huma Z, Gerth C, Engels G, Juwig O (2013) Automated service discovery and composition for On-the-Fly SOAs. Tech. Rep. TR-RI-13-333, University of Paderborn, Germany. http:\/\/is.uni-paderborn.de\/uploads\/tx_sibibtex\/tr-ri-13-333.pdf"},{"key":"254_CR9","unstructured":"Object Management Group (OMG) (2009) Unified modeling language (UML)\u2014superstructure, version 2.3. http:\/\/www.omg.org\/spec\/UML\/2.3\/Infrastructure"},{"key":"254_CR10","doi-asserted-by":"crossref","unstructured":"de Bruijn J, Lausen H, Polleres A, Fensel D (2006) The web service modeling language WSML: an overview. In: Sure Y, Domingue J (eds) ESWC, LNCS, vol 4011. Springer, Berlin, pp 590\u2013604","DOI":"10.1007\/11762256_43"},{"key":"254_CR11","unstructured":"Lohmann M (2006) Kontraktbasierte Modellierung, Implementierung und Suche von Komponenten in serviceorientierten Architekturen. PhD thesis, University of Paderborn"},{"key":"254_CR12","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1145\/1041410.1041421","volume":"33","author":"NF Noy","year":"2004","unstructured":"Noy NF (2004) Semantic integration: a survey of ontology-based approaches. SIGMOD Record 33:65\u201370","journal-title":"SIGMOD Record"},{"issue":"11","key":"254_CR13","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1145\/219717.219748","volume":"38","author":"GA Miller","year":"1995","unstructured":"Miller GA (1995) WordNet: a lexical database for English. Commun ACM 38(11):39\u201341","journal-title":"Commun ACM"},{"key":"254_CR14","unstructured":"Mendes PN, Jakob M, Bizer C (2012) DBpedia for NLP: a multilingual cross-domain knowledge base. In: Proceedings of the eight international conference on language resources and evaluation (LREC\u201912), Istanbul"},{"key":"254_CR15","unstructured":"Schwichtenberg S (2013) Ontology-based normalization and matching of rich service descriptions. Master\u2019s thesis, University of Paderborn"},{"key":"254_CR16","unstructured":"Euzenat J, Shvaiko P (2007) Ontology matching, vol 18. Springer, Berlin"},{"issue":"1","key":"254_CR17","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1109\/TKDE.2011.253","volume":"25","author":"P Shvaiko","year":"2013","unstructured":"Shvaiko P, Euzenat J (2013) Ontology matching: state of the art and future challenges. IEEE Trans Knowl Data Eng 25(1):158\u2013176","journal-title":"IEEE Trans Knowl Data Eng"},{"key":"254_CR18","unstructured":"European Bioinformatics Institute (2011) Experimental Factor Ontology Tools. http:\/\/www.ebi.ac.uk\/efo\/tools"},{"issue":"2","key":"254_CR19","doi-asserted-by":"crossref","first-page":"67","DOI":"10.4018\/jwsr.2005040104","volume":"2","author":"JH Hausmann","year":"2005","unstructured":"Hausmann JH, Heckel R, Lohmann M (2005) Model-based development of web service descriptions enabling a precise matching concept. Int J Web Services Res 2(2):67\u201385","journal-title":"Int J Web Services Res"},{"key":"254_CR20","doi-asserted-by":"crossref","unstructured":"Bernardi S, Donatelli S, Merseguer J (2002) From UML sequence diagrams and statecharts to analysable petri net models. In: Proceedings of the 3rd international workshop on software and performance. ACM, pp 35\u201345","DOI":"10.1145\/584369.584376"},{"key":"254_CR21","unstructured":"Hausmann JH (2005) Dynamic meta modeling: a semantics description technique for visual modeling languages. PhD thesis, University of Paderborn"},{"key":"254_CR22","unstructured":"K\u00fcster JM, Stehr J (2003) Towards explicit behavioral consistency concepts in the UML. In: Proceedings of the 2nd international workshop on scenarios and state machines: models, algorithms and tools, Portland"},{"key":"254_CR23","doi-asserted-by":"crossref","unstructured":"DeMarco T (1979) Structured analysis and system specification. Prentice Hall PTR","DOI":"10.1007\/978-3-642-48354-7_9"},{"key":"254_CR24","unstructured":"Cicalese CDT, Rotenstreich S (1999) Behavioral specification of distributed software component interfaces. IEEE Comput 32(7):46\u201353. http:\/\/dblp.uni-trier.de\/db\/journals\/computer\/computer32.html#CicaleseR99"},{"key":"254_CR25","unstructured":"D\u2019Souza DF, Wills AC (1998) Objects, Components, and Frameworks with UML: The Catalysis Approach. Addison-Wesley Professional, Addison-Wesley Object Technology Series"},{"key":"254_CR26","doi-asserted-by":"crossref","unstructured":"Glinz M (2007) On non-functional requirements. In: Proceedings of 15th IEEE international requirements engineering conference (RE \u201907), pp 21\u201326","DOI":"10.1109\/RE.2007.45"},{"key":"254_CR27","unstructured":"Tsui F, Karam O (2010) Essentials of software engineering. Jones & Bartlett Learning"},{"key":"254_CR28","unstructured":"Sabou M, Richards D, van Splunter S (2003) An experience report on using DAML-S"},{"key":"254_CR29","doi-asserted-by":"crossref","unstructured":"Atkinson C, Bostan P, Brenner D, Falcone G, Gutheil M, Hummel O, Juhasz M, Stoll D (2008) Modeling components and component-based systems in kobra. In: Rausch A, Reussner R, Mirandola R, Plasil F (eds) The common component modeling example, LNCS, vol 5153. Springer, Berlin, pp 54\u201384","DOI":"10.1007\/978-3-540-85289-6_4"},{"key":"254_CR30","doi-asserted-by":"crossref","unstructured":"Becker S, Brogi A, Gorton I, Overhage S, Romanovsky A, Tivoli M (2006) Towards an engineering approach to component adaptation. In: Reussner RH, Stafford JA, Szyperski CA (eds) Architecting systems with trustworthy components, LNCS, vol 3938. Springer, Berlin, pp 193\u2013215","DOI":"10.1007\/11786160_11"},{"key":"254_CR31","doi-asserted-by":"crossref","unstructured":"Brown AW, Wdlnau KC (1996) Engineering of component-based systems. In: Proceedings of 2nd IEEE international conference on engineering of complex computer systems (ICECCS\u201996), pp 414\u2013422","DOI":"10.1109\/ICECCS.1996.558485"},{"key":"254_CR32","unstructured":"M\u00e4tzel KU, Schnorf P (1997) Dynamic component adaptation. Tech. rep., Ubilab Technical Report 97.6"},{"issue":"3","key":"254_CR33","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1145\/258077.258078","volume":"6","author":"R Allen","year":"1997","unstructured":"Allen R, Garlan D (1997) A formal basis for architectural connection. ACM Trans Softw Eng Methodol 6(3):213\u2013249","journal-title":"ACM Trans Softw Eng Methodol"},{"key":"254_CR34","doi-asserted-by":"crossref","unstructured":"Schmidt HW, Reussner RH (2002) Generating adapters for concurrent component protocol synchronisation. In: Proceedings of the IFIP TC6\/WG6.1 5th international conference on formal methods for open object-based distributed systems V (FMOODS\u201902). Kluwer, B.V., Deventer, pp 213\u2013229","DOI":"10.1007\/978-0-387-35496-5_15"},{"key":"254_CR35","doi-asserted-by":"crossref","unstructured":"Yellin DM, Strom RE (1997) Protocol specifications and component adaptors. ACM Trans Program Lang Syst 19(2):292\u2013333","DOI":"10.1145\/244795.244801"},{"key":"254_CR36","doi-asserted-by":"crossref","unstructured":"K\u00fcster J, Stroop J (2001) Consistent design of embedded real-time systems with UML-RT. In: Proceedings of fourth IEEE international symposium on object-oriented real-time distributed computing. IEEE Computer Society, pp 31\u201340","DOI":"10.1109\/ISORC.2001.922815"},{"key":"254_CR37","doi-asserted-by":"crossref","unstructured":"Moffett Y, Beaulieu A, Dingel J (2011) Verifying UML-RT protocol conformance using model checking. In: Proceedings of 14th international conference on model driven engineering languages and systems (MODELS\u201911), LNCS, vol 6981. Springer, Berlin, pp 410\u2013424","DOI":"10.1007\/978-3-642-24485-8_30"},{"key":"254_CR38","doi-asserted-by":"crossref","unstructured":"Shigo O, Okawa A, Kato D (2006) Constructing behavioral state machine using interface protocol specification. In: Proceedings of the XIII Asia Pacific software engineering conference (APSEC\u201906). IEEE Computer Society, pp 191\u2013198","DOI":"10.1109\/APSEC.2006.30"},{"key":"254_CR39","doi-asserted-by":"crossref","unstructured":"Both A, Zimmermann W (2008) Automatic protocol conformance checking of recursive and parallel BPEL systems. In: Proceedings of the 2008 sixth European conference on web services (ECOWS\u201908). IEEE Computer Society, pp 81\u201391","DOI":"10.1109\/ECOWS.2008.11"},{"key":"254_CR40","doi-asserted-by":"crossref","unstructured":"Cavallaro L, Nitto E, Pradella M (2009) An automatic approach to enable replacement of conversational services. In: Baresi L, Chi CH, Suzuki J (eds) ICSOC-ServiceWave \u201909. LNCS, vol 5900. Springer, Berlin, pp 159\u2013174","DOI":"10.1007\/978-3-642-10383-4_11"},{"key":"254_CR41","doi-asserted-by":"crossref","unstructured":"Motahari Nezhad HR, Benatallah B, Martens A, Curbera F, Casati F (2007) Semi-automated adaptation of service interactions. In: Proceedings of the 16th international conference on world wide web (WWW\u201907). ACM, pp 993\u20131002","DOI":"10.1145\/1242572.1242706"},{"key":"254_CR42","doi-asserted-by":"crossref","unstructured":"Pathak J, Basu S, Honavar V (2006b) Modeling web services by iterative reformulation of functional and non-functional requirements. In: Proceedings of the 4th international conference on service-oriented computing (ICSOC\u201906), LNCS, vol 4294. Springer, Berlin, pp 314\u2013326","DOI":"10.1007\/11948148_26"},{"key":"254_CR43","unstructured":"Poizat RMP, Sala\u00fcn G (2008) Adaptation of service protocols using process algebra and On-the-Fly reduction techniques. In: Bouguettaya A, Kr\u00fcger I, Margaria T (eds) Proceedings of international conference on service oriented computings (ICSOC\u201908), LNCS, vol 5364. Springer, Berlin, pp 84\u201399"},{"issue":"3","key":"254_CR44","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1109\/TSE.2009.88","volume":"36","author":"G Spanoudaki","year":"2010","unstructured":"Spanoudaki G, Zisman A (2010) Discovering services during service-based system design using UML. IEEE Trans Softw Eng 36(3):371\u2013389","journal-title":"IEEE Trans Softw Eng"},{"key":"254_CR45","unstructured":"Mukhija A, Rosenblum DS, Dingwall-Smith A (2007) Dino: dynamic and adaptive composition of autonomous services. Department of Computer Science, University College London, London, White paper"},{"key":"254_CR46","doi-asserted-by":"crossref","first-page":"23","DOI":"10.3233\/WIA-2009-0153","volume":"7","author":"M Klusch","year":"2009","unstructured":"Klusch M, Kaufer F (2009) WSMO-MX: a hybrid semantic web service matchmaker. Web Intell Agent Syst 7:23\u201342","journal-title":"Web Intell Agent Syst"},{"key":"254_CR47","doi-asserted-by":"crossref","unstructured":"Rao J, Su X (2004) A survey of automated web service composition methods. In: Proceedings of the first international conference on semantic web services and web process composition (SWSWPC\u201904), vol 3387. Springer, Berlin, pp 43\u201354","DOI":"10.1007\/978-3-540-30581-1_5"},{"issue":"4","key":"254_CR48","first-page":"793","volume":"30","author":"P Bartalos","year":"2011","unstructured":"Bartalos P, Bielikov\u00e1 M (2011) Automatic dynamic web service composition: a survey and problem formalization. Comput Inf 30(4):793\u2013827","journal-title":"Comput Inf"},{"key":"254_CR49","unstructured":"Essi, WSMO Working Group (2005) Web Service Modelling Ontology. http:\/\/www.wsmo.org\/"},{"key":"254_CR50","doi-asserted-by":"crossref","unstructured":"Aggarwal R, Verma K, Miller JA, Milnor W (2004) Constraint driven web service composition in METEOR-S. In: IEEE International conference on services computing (SCC\u201904). IEEE Computer Society, pp 23\u201330","DOI":"10.1109\/SCC.2004.1357986"},{"key":"254_CR51","doi-asserted-by":"crossref","unstructured":"Bartalos P, Bielikov\u00e1 M (2010) QoS aware semantic web service composition approach considering pre\/postconditions. In: Proceedings of IEEE international conference on web services (ICWS\u201910). IEEE Computer Society, pp 345\u2013352","DOI":"10.1109\/ICWS.2010.90"},{"key":"254_CR52","doi-asserted-by":"crossref","unstructured":"Brogi A, Corfini S, Popescu R (2008) Semantics-based composition-oriented discovery of web services. ACM Trans Internet Technol 8(4):19:1\u201319:39","DOI":"10.1145\/1391949.1391953"},{"key":"254_CR53","doi-asserted-by":"crossref","unstructured":"Kona S, Bansal A, Blake MB, Gupta G (2008) Generalized semantics-based service composition. In: IEEE international conference on web services (ICWS\u201908). IEEE Computer Society, pp 219\u2013227","DOI":"10.1109\/ICWS.2008.118"},{"key":"254_CR54","doi-asserted-by":"crossref","unstructured":"Naeem M, Heckel R, Orejas F, Hermann F (2010) Incremental service composition based on partial matching of visual contracts. In: Proceedings of fundamental approaches to software engineering (FASE\u201910), LNCS, vol 6013. Springer, Berlin, pp 123\u2013138","DOI":"10.1007\/978-3-642-12029-9_9"},{"key":"254_CR55","unstructured":"Pathak J, Basu S, Honavar V (2006a) Modeling web service composition using symbolic transition systems. In: Proceedings of AAAI workshop on AI-driven technologies for service-oriented computing. AAAI Press, California"},{"key":"254_CR56","doi-asserted-by":"crossref","unstructured":"Patil AA, Oundhakar SA, Sheth AP, Verma K (2004) Meteor-s web service annotation framework. In: Proceedings of the 13th international conference on world wide web (WWW\u201904). ACM, pp 553\u2013562","DOI":"10.1145\/988672.988747"},{"issue":"1","key":"254_CR57","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1504\/IJAOSE.2009.022945","volume":"3","author":"R Vaculin","year":"2009","unstructured":"Vaculin R, Neruda R, Sycara K (2009) The process mediation framework for semantic web services. Int J Agent Oriented Softw Eng 3(1):27\u201358","journal-title":"Int J Agent Oriented Softw Eng"}],"container-title":["Computer Science - Research and Development"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00450-014-0254-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00450-014-0254-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00450-014-0254-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,24]],"date-time":"2020-08-24T09:56:01Z","timestamp":1598262961000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00450-014-0254-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9,13]]},"references-count":57,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2015,8]]}},"alternative-id":["254"],"URL":"https:\/\/doi.org\/10.1007\/s00450-014-0254-z","relation":{},"ISSN":["1865-2034","1865-2042"],"issn-type":[{"value":"1865-2034","type":"print"},{"value":"1865-2042","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,9,13]]}}}