{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:50:50Z","timestamp":1725511850354},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540759119"},{"type":"electronic","value":"9783540759126"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75912-6_11","type":"book-chapter","created":{"date-parts":[[2007,10,12]],"date-time":"2007-10-12T05:40:16Z","timestamp":1192167616000},"page":"142-157","source":"Crossref","is-referenced-by-count":0,"title":["Using Mobile Architecture Modeling and Simulation for Enterprise Applications"],"prefix":"10.1007","author":[{"given":"Volker","family":"Gruhn","sequence":"first","affiliation":[]},{"given":"Clemens","family":"Sch\u00e4fer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","unstructured":"Aagedal, J.\u00d8., Quality of Service Support in Development of Distributed Systems. PhD thesis, University of Oslo (2001)"},{"key":"11_CR2","volume-title":"New Trends in Software Methodologies, Tools and Techniques","author":"M. Book","year":"2005","unstructured":"Book, M., Gruhn, V., H\u00fclder, M., Sch\u00e4fer, C.: A Methodology for Deriving the Architectural Implications of Different Degrees of Mobility in Information Systems. In: Fujita, H., Mejri, M. (eds.) New Trends in Software Methodologies, Tools and Techniques, IOS Press, Amsterdam (2005)"},{"issue":"5","key":"11_CR3","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1109\/32.685258","volume":"24","author":"A. Fuggetta","year":"1998","unstructured":"Fuggetta, A., Picco, G.P., Vigna, G.: Understanding Code Mobility. IEEE Transactions on Software Engineering\u00a024(5), 342\u2013361 (1998)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"11_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1007\/11494713_17","volume-title":"Software Architecture","author":"V. Gruhn","year":"2005","unstructured":"Gruhn, V., Sch\u00e4fer, C.: Architecture Description for Mobile Distributed Systems. In: Morrison, R., Oquendo, F. (eds.) EWSA 2005. LNCS, vol.\u00a03527, pp. 239\u2013246. Springer, Heidelberg (2005)"},{"key":"11_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/3-540-44685-0_6","volume-title":"CONCUR 2001 - Concurrency Theory","author":"H. Hermanns","year":"2001","unstructured":"Hermanns, H., Katoen, J.-P.: Performance Evaluation:= (Process Algebra + Model Checking) \u00d7 Markov Chains. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol.\u00a02154, pp. 59\u201381. Springer, Heidelberg (2001)"},{"key":"11_CR6","first-page":"201","volume-title":"WICSA 2004","author":"V. Issarny","year":"2004","unstructured":"Issarny, V., Tartanoglu, F., Liu, J., Sailhan, F.: Software Architecture for Mobile Distributed Computing. In: WICSA 2004. Proceedings of the Fourth Working IEEE\/IFIP Conference on Software Architecture, Oslo, Norway, pp. 201\u2013210. IEEE Computer Society Press, Los Alamitos (2004)"},{"key":"11_CR7","volume-title":"Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers","author":"L. Lamport","year":"2002","unstructured":"Lamport, L.: Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley, Reading (2002)"},{"key":"11_CR8","first-page":"39","volume-title":"ESEC\/FSE-7","author":"C. Mascolo","year":"1999","unstructured":"Mascolo, C., Picco, G.P., Roman, G.-C.: A fine-grained model for code mobility. In: ESEC\/FSE-7. Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering, London, UK, pp. 39\u201356. Springer, Heidelberg (1999)"},{"issue":"1","key":"11_CR9","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1109\/32.825767","volume":"26","author":"N. Medvidovic","year":"2000","unstructured":"Medvidovic, N., Taylor, R.N.: A Classification and Comparison Framework for Software Architecture Description Languages. IEEE Transactions on Software Engineering\u00a026(1), 70\u201393 (2000)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"11_CR10","volume-title":"Communicating and Mobile Systems: the \u03c0-Calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communicating and Mobile Systems: the \u03c0-Calculus. Cambridge University Press, Cambridge (1999)"},{"key":"11_CR11","volume-title":"Communicating and Mobile Systems: the \u03c0-Calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communicating and Mobile Systems: the \u03c0-Calculus. Cambridge University Press, Cambridge (1999)"},{"key":"11_CR12","unstructured":"OMG. Unified Modeling Language (UML) Specification: Superstructure, Version 2.0 (formal\/05-07-04)"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Oquendo, F.: \u03c0-ADL: An Architecture Description Language based on the Higher-Order Typed \u03c0-Calculus for Specifying Dynamic and Mobile Software Architectures. ACM Software Engineering Notes\u00a029 (2004)","DOI":"10.1145\/986710.986728"},{"key":"11_CR14","volume-title":"Proof, Language and Interaction: Essays in Honour of Robin Milner","author":"B.C. Pierce","year":"2000","unstructured":"Pierce, B.C., Turner, D.N.: Pict: A programming language based on the pi-calculus. In: Plotkin, G., Stirling, C., Tofte, M. (eds.) Proof, Language and Interaction: Essays in Honour of Robin Milner, MIT Press, Cambridge (2000)"},{"key":"11_CR15","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1145\/336512.336567","volume-title":"Proceedings of the Conference on the Future of Software Engineering","author":"G.-C. Roman","year":"2000","unstructured":"Roman, G.-C., Picco, G.P., Murphy, A.L.: Software Engineering for Mobility: A Roadmap. In: Proceedings of the Conference on the Future of Software Engineering, pp. 241\u2013258. ACM Press, New York (2000)"},{"key":"11_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/BFb0015251","volume-title":"Computer Science Today","author":"M. Shaw","year":"1995","unstructured":"Shaw, M., Garlan, D.: Formulations and Formalisms in Software Architecture. In: van Leeuwen, J. (ed.) Computer Science Today. LNCS, vol.\u00a01000, pp. 307\u2013323. Springer, Heidelberg (1995)"},{"key":"11_CR17","unstructured":"T\u00fcrker, C.: Mobilit\u00e4t und Informationssysteme. Technical Report 422, ETH Z\u00fcrich (October 2003)"},{"key":"11_CR18","unstructured":"Wichmann, T., Stiehler, A.: Process Optimisation with Mobile Solutions. Berlecon Research (March 2004)"},{"key":"11_CR19","unstructured":"Zschaler, S.: Formal specification of non-functional properties of component-based software. In: Bruel, J.-M., Georg, G., Hussmann, H., Ober, I., Pohl, C., Whittle, J., Zschaler, S. (eds.) NfC 2004. Workshop on Models for Non-functional Aspects of Component-Based Software at UML conference 2004 (September 2004)"}],"container-title":["Lecture Notes in Computer Science","Trends in Enterprise Application Architecture"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75912-6_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:36:51Z","timestamp":1619505411000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75912-6_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540759119","9783540759126"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75912-6_11","relation":{},"subject":[]}}