Reasoning about asynchronous behaviour in distributed systems

Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS

Volumn 2002-January, Issue , 2002, Pages 17-24

  Henderson, P ^a  

^a UNIVERSITY OF SOUTHAMPTON   (United Kingdom)

Author keywords

Animation; Application software; Banking; Buildings; Collaborative software; Computer architecture; Computer science; Design engineering; Internet; Large scale systems

Indexed keywords

ANIMATION; APPLICATION PROGRAMS; COMPUTER ARCHITECTURE; DISTRIBUTED COMPUTER SYSTEMS; GROUPWARE;

APPLICATIONS SOFTWARE; ASYNCHRONOUS BEHAVIOR; COLLABORATIVE SOFTWARES; DESIGN ENGINEERING; DISTRIBUTED SYSTEMS; EXISTING SYSTEMS; LARGE-SCALE SYSTEMS; LOOSE COUPLINGS; NEW COMPONENTS; ORIGINAL SYSTEMS;

LARGE SCALE SYSTEMS;

EID: 8444239188     PISSN: 27708527     EISSN: 27708535     Source Type: Conference Proceeding    
DOI: 10.1109/ICECCS.2002.1181494     Document Type: Conference Paper

References (24)

1. Martin Bichler, Arie Segev and J. Leon Zhao. Component-based E-Commerce: Assessment of Current Practices and Future Directions. ACM SIGMOD Record 27(4): 7-14, 1998
2. Ken Burgett. JMS and EJBs: The inbound message conundrum. http://www7b.boulder.ibm.com/wsdd/library/, 2001
3. Antonion Carzaniga, David S. Rosenblum and Alexander L. Wolf. Design and evaluation of a wide-area event notification service. ACM Transactions on Computer Systems (TOCS), Volume 19, Issue 3, 2001
4. L. Chung and N. Subramanian, Architecture-Based Semantic Evolution: A Study of Remotely Controlled Embedded Systems. Proc., IEEE Int. Conf. on Software Maintenance (ICSM'01), 2001
5. E.M. Clarke, Orna Grumberg and Doron Peled. Model Checking, The MIT Press, 2000
6. Darach Ennis. CORBA and XML Integration in Enterprise Systems. IONA Technologies Inc., 2000
7. Faramarz Farhoodi and Peter Fingar. Developing Enterprise Systems with Intelligent Agent Technology. Distributed Object Computing, Object Management Group, 1997
8. Peter Fingar, Harsha Kumar and Tarun Sharma. Enterprise E-Commerce. Meghan-Kiffer Press; ISBN: 0929652118; 1st edition, 2000
9. Hassan Gomaa, Daniel A. Menasc, Michael E. Shin. Reusable component interconnection patterns for distributed software architectures . Proceedings of Symposium on Software Reusability ( SSR '01 ), ACM Software Engineering Notes, Volume 26, No 3, 2001
10. Peter Henderson. Laws for Dynamic Systems. Proceedings of International Conference on Software Reuse (ICSR 98), p.330-336, IEEE Computer Society Press, 1998
11. Peter Henderson and Robert John Walters. Modelling Component-based Systems as an aid to Design Validation. 14th IEEE International Conference on Automated Software Engineering (ASE) p.303-6., 1999
12. Peter Henderson and Robert John Walters. Behavioural Analysis of Component-Based Systems. Information and Software Technology, 43 p.161-169. 2001
13. Peter Henderson. Asset Mapping - developing interenterprise solutions from legacy components. in Systems Engineering for Business Process Change - New Directions, Springer-Verlag UK, pp 1-12, 2002 see http://www.ecs.soton.ac.uk/~ph/papers
14. Peter Henderson. Modelling Architectures for Dynamic Systems. in Programming Methodology, Edited by A. McIver, C. Morgan, Springer Verlag Monographs in Computer Science, 2002, see http://www.ecs.soton.ac.uk/~ph/papers
15. Gerard J Holtzman. The model checker SPIN. IEEE Transactions on Software Engineering, Vol 23, No 5, 1997
16. Jens H. Jahnke. Engineering component-based net-centric systems for embedded applications. Proceedings of the 8th European Software Engineering Conference, ACM Software Engineering Notes, Volume 26, Issue 5, 2001
17. Havard D. Jorgensen and Steinar Carlsen. Emergent Workflow: Planning and Performance of Process Instances. Workflow Management '99, 1999, see http://www.wi.unimuenster.de/is/Tagung/Workflow99/
18. Jeff Magee and Jeff Kramer. Concurrency : State Models & Java Programs. John Wiley and Sons Ltd (1999)
19. Jeff Magee, Nat Pryce, Dimitra Giannakopoulou and Jeff Kramer. Graphical Animation of Behaviour Models. see http://www.doc.ic.ac.uk/~jnm/book/ltsav2/animation-paper.pdf, 2000
20. Shin Nakajima and Tetsuo Tamai. Behavioural analysis of the enterprise JavaBeans component architecture. Proceedings of the 8th international SPIN workshop on Model checking of software, 2001
21. Gian Pietro Picco, Gruia-Catalin Roman and Peter J. McCann. Reasoning about code mobility with mobile UNITY. ACM Transactions on Software Engineering and Methodology, Volume 10, No 3, (2001)
22. R. Sesseler. Building agents for service provisioning out of components. Proceedings of the Fifth International Conference on Autonomous Agents, 2001
23. Robert Spence. Information Visualization. Addison Wesley, 2001
24. See http://www.ecs.soton.ac.uk/~ph/reasoning