Formal-based Component Model with Support of Mobile Architecture

作者： Marek Rychlý

DOI:

关键词:

摘要:

暂无可下载资源，当前可以选择系统获取到有开放资源时通知我或者直接发起求助文献求助

参考文章(19)

Marek Rychlý, Petr Weiss, MODELING OF SERVICE ORIENTED ARCHITECTURE - From Business Process to Service Realisation international conference on evaluation of novel approaches to software engineering. pp. 140- 146 ,(2008)

Dimitra Giannakopoulou, Model Checking for Concurrent Software Architectures ,(1999)

Jeff Magee, Naranker Dulay, Susan Eisenbach, Jeff Kramer, Specifying Distributed Software Architectures european software engineering conference. pp. 137- 153 ,(1995) , 10.1007/3-540-60406-5_12

Stanislav Višnovský, Modeling Software Components Using Behavior Protocols ,(2004)

T. Coupaye, E. Bruneton, J. B. Stefani, Recursive and Dynamic Software Composition with Sharing ,(2002)

Paris Avgeriou, Nicolas Guelfi, Nenad Medvidovic, Software architecture description and UML UML'04 Proceedings of the 2004 international conference on UML Modeling Languages and Applications. pp. 23- 32 ,(2004) , 10.1007/978-3-540-31797-5_3

Marek Rychly, A case study on behavioural modelling of service-oriented architectures e-Informatica Software Engineering Journal. ,vol. 4, pp. 71- 87 ,(2010)

Robert T. Monroe, David Garlan, David Wile, Acme: architectural description of component-based systems Foundations of component-based systems. pp. 47- 67 ,(2000)

Thomas Erl, Service-Oriented Architecture: Concepts, Technology, and Design ,(2005)

F. Plasil, D. Balek, R. Janecek, SOFA/DCUP: architecture for component trading and dynamic updating cooperative distributed systems. pp. 43- 51 ,(1998) , 10.1109/CDS.1998.675757