Behavioural analysis of component-based systems

Information and Software Technology

Volumn 43, Issue 3, 2001, Pages 161-169

  Henderson, P ^a   Walters, R ^a  

^a UNIVERSITY OF SOUTHAMPTON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; COMPUTER SOFTWARE REUSABILITY; MATHEMATICAL MODELS; SYSTEMS ANALYSIS;

COMPONENT-BASED SYSTEMS;

SOFTWARE ENGINEERING;

EID: 0035281819     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0950-5849(00)00156-7     Document Type: Article

References (39)

1. G. Abeysinghe, P. Henderson, K.T. Phalp, R.J. Walters, An audience centred approach to modelling for business process ReEngineering, 5th International Conference on Re-Technologies for Information Systems (ReTIS 97), Klagenfurt, Austria, 1997.
2. R.J. Allen D. Garlan A fomal basis for architectural connection ACM Transactions on Software Engineering and Methodology 6 1997 213 249
3. M. Boman J.A. Bubenko P. Johannesson B. Wangler Conceptual Modelling 1997 Prentice-Hall Englewood cliffs, NJ
4. D. Box G. Booch Essential COM 1998 Addison-Wesley Reading, MA
5. L. Cardelli, Abstractons for Mobile Computation, Microsoft Research Technical Report MSR-TR-98-34, 1998, available at research.microsoft.com.
6. A. Carpenter, N. Messer, The use of VHDL+ in the Specification Level Modelling of an Embedded System, International Forum on Design Languages, Sepot, Switzerland, 1998.
7. S.-K. Chin et al., Formal methods tools to support system design, First IEEE International Conference of Complex Systems, 1995.
8. E.M. Clarke, J.R. Burch, O. Grumberg, D.E. Long, K.L. McMillan, Automatic verification of sequential circuit designs, mechanical reasoning and hardware design, Royal Society Discussion Meeting, 1991.
9. E.M. Clarke Model checking and abstraction ACM Transactions on Programming Languages and Systems 16 1994 1512 1542
10. M. Fowler K. Scott G. Booch UML Distilled-Applying the Standard Object Modelling Language 1997 Addison-Wesley Reading, MA
11. D. Garlan et al., Architectural Mismatch, or, why it's hard to build systems out of existing parts, ICSE, 1995.
12. D.N. Gray Modern languages and Microsoft's component object model Communications of the ACM 41 1998 55 65
13. O. Grumberg D. Long Model checking and modular verification ACM Transactions on Programming Languages and Systems 16 1994 843 871
14. D. Harel On visual formalisms Communications of the ACM 1988
15. D. Harel Statecharts: A visual formalism for complex systems Science of Computer Programming 8 1987 231 274
16. M.M.K. Hashmi, A.C. Bruce, Design and use of a system-level specification and verification methodology, IEEE European Design Automation Conference, 1995.
17. M. Heimdahl N. Leveson Completeness and consistency in hierarchical state-based requirements IEEE Transactions on Software Engineering 22 1996 363 377
18. P. Henderson, Laws for dynamic systems, International Conference on Software Re-Use (ICSR 98), Victoria, Canada, 1998.
19. P. Henderson, R.J. Walters, component based systems as an aid to design validation, 14th IEEE International Conference on Automated Software Engineering (ASE99), Cocoa Beach, FL, 1999.
20. P. Henderson, R.J. Walters, System design validation using formal methods, Tenth IEEE International Workshop on Rapid System Prototyping (RSP99), Clearwater, FL, 1999.
21. C.A.R. Hoare Communicating Sequential Processes 1985 Prentice-Hall NJ
22. C.A.R. Hoare, How did Software get to be so reliable without proof, 18th International Conference on Software Engineering (ICSE-18), 1996.
23. S. Hodgson M.M.K. Hashmi Super VISE-system specification and design methodology ICL Systems Journal 12 1997 233 250
24. G.J. Holtzmann The model checker SPIN IEEE Transactions on Software Engineering 23 1997 279 295
25. C.N. Ip, D.L. Dill, Verifying systems with replicated components in Murphi, International Conference on Computer Aided Verification, 1996.
26. R. Kurki-Suoni, Component and interface refinement in closed-systems specifications, FM’99, 1999.
27. D.C. Luckman Specification and analysis of system architecture using Rapide IEEE Transactions on Software Engineering 21 1995 336 355
28. D.C. Luckman J. Vera An event-based architecture definition language IEEE Transactions on Software Engineering 21 1995 717 734
29. J. Magee J. Kramer Concurrency: State models and Java Programs 1999 Wiley New York
30. Object Management Group, Common Object Request Broker: Architecture Specification.
31. M.A. Ould Business processes-modelling and analysis for re-engineering and improvement 1995 Wiley New York
32. M.A. Ould Designing a re-engineering proof process architecture Business Process management Journal 3 1997
33. K.T. Phalp P. Henderson G. Abeysinghe R.J. Walters RolEnact — role based enactable models of business processes Information and Software Technology 40 1998 123 133
34. RolEnact, Available from: http://www.ecs.soton.ac.uk/~ph/RolEnact.
35. M. Shaw Abstractions for software architecture and tools to support them IEEE Transactions on Software Engineering 21 1995 314 335
36. M. Shaw D. Garlan Software Architecture-Perspectives on an Emerging Discipline 1996 Prentice-Hall Englewood cliffs, NJ
37. K. Sullivan, J.C. Knight, Experience assessing an architectural approach to large scale reuse, 18th International Conference on Software Engineering (ICSE-18), 1996.
38. K. Sullivan, J. Socha, M. Marchukov, Using formal methods to reason about architectural standards, 19th International Conference on Software Engineering, Boston, 1997.
39. A. Thomas, Enterprise JavaBeans Technology, Patricia Seybold Group, White Paper prepared for Sun Microsystems Inc., December 1998.