{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,12,29]],"date-time":"2022-12-29T09:32:48Z","timestamp":1672306368241},"reference-count":39,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[2001,3,1]],"date-time":"2001-03-01T00:00:00Z","timestamp":983404800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information and Software Technology"],"published-print":{"date-parts":[[2001,3]]},"DOI":"10.1016\/s0950-5849(00)00156-7","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T15:50:18Z","timestamp":1027612218000},"page":"161-169","source":"Crossref","is-referenced-by-count":19,"title":["Behavioural analysis of component-based systems"],"prefix":"10.1016","volume":"43","author":[{"given":"P","family":"Henderson","sequence":"first","affiliation":[]},{"given":"R","family":"Walters","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0950-5849(00)00156-7_BIB1","unstructured":"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."},{"issue":"6","key":"10.1016\/S0950-5849(00)00156-7_BIB2","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1145\/258077.258078","article-title":"A fomal basis for architectural connection","author":"Allen","year":"1997","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"10.1016\/S0950-5849(00)00156-7_BIB3","series-title":"Conceptual Modelling","author":"Boman","year":"1997"},{"key":"10.1016\/S0950-5849(00)00156-7_BIB4","series-title":"Essential COM","author":"Box","year":"1998"},{"key":"10.1016\/S0950-5849(00)00156-7_BIB5","unstructured":"L. Cardelli, Abstractons for Mobile Computation, Microsoft Research Technical Report MSR-TR-98-34, 1998, available at research.microsoft.com."},{"key":"10.1016\/S0950-5849(00)00156-7_BIB6","unstructured":"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."},{"key":"10.1016\/S0950-5849(00)00156-7_BIB7","unstructured":"S.-K. Chin et al., Formal methods tools to support system design, First IEEE International Conference of Complex Systems, 1995."},{"key":"10.1016\/S0950-5849(00)00156-7_BIB8","unstructured":"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."},{"issue":"16","key":"10.1016\/S0950-5849(00)00156-7_BIB9","doi-asserted-by":"crossref","first-page":"1512","DOI":"10.1145\/186025.186051","article-title":"Model checking and abstraction","author":"Clarke","year":"1994","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10.1016\/S0950-5849(00)00156-7_BIB10","series-title":"UML Distilled-Applying the Standard Object Modelling Language","author":"Fowler","year":"1997"},{"key":"10.1016\/S0950-5849(00)00156-7_BIB11","doi-asserted-by":"crossref","unstructured":"D. Garlan et al., Architectural Mismatch, or, why it's hard to build systems out of existing parts, ICSE, 1995.","DOI":"10.1145\/225014.225031"},{"issue":"41","key":"10.1016\/S0950-5849(00)00156-7_BIB12","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1145\/274946.274957","article-title":"Modern languages and Microsoft's component object model","author":"Gray","year":"1998","journal-title":"Communications of the ACM"},{"issue":"16","key":"10.1016\/S0950-5849(00)00156-7_BIB13","doi-asserted-by":"crossref","first-page":"843","DOI":"10.1145\/177492.177725","article-title":"Model checking and modular verification","author":"Grumberg","year":"1994","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10.1016\/S0950-5849(00)00156-7_BIB14","doi-asserted-by":"crossref","DOI":"10.1145\/42411.42414","article-title":"On visual formalisms","author":"Harel","year":"1988","journal-title":"Communications of the ACM"},{"issue":"8","key":"10.1016\/S0950-5849(00)00156-7_BIB15","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","article-title":"Statecharts: A visual formalism for complex systems","author":"Harel","year":"1987","journal-title":"Science of Computer Programming"},{"key":"10.1016\/S0950-5849(00)00156-7_BIB16","doi-asserted-by":"crossref","unstructured":"M.M.K. Hashmi, A.C. Bruce, Design and use of a system-level specification and verification methodology, IEEE European Design Automation Conference, 1995.","DOI":"10.1109\/EURDAC.1995.527449"},{"issue":"22","key":"10.1016\/S0950-5849(00)00156-7_BIB17","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1109\/32.508311","article-title":"Completeness and consistency in hierarchical state-based requirements","author":"Heimdahl","year":"1996","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0950-5849(00)00156-7_BIB18","doi-asserted-by":"crossref","unstructured":"P. Henderson, Laws for dynamic systems, International Conference on Software Re-Use (ICSR 98), Victoria, Canada, 1998.","DOI":"10.1109\/ICSR.1998.685758"},{"key":"10.1016\/S0950-5849(00)00156-7_BIB19","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.1109\/ASE.1999.802333"},{"key":"10.1016\/S0950-5849(00)00156-7_BIB20","unstructured":"P. Henderson, R.J. Walters, System design validation using formal methods, Tenth IEEE International Workshop on Rapid System Prototyping (RSP99), Clearwater, FL, 1999."},{"key":"10.1016\/S0950-5849(00)00156-7_BIB21","series-title":"Communicating Sequential Processes","author":"Hoare","year":"1985"},{"key":"10.1016\/S0950-5849(00)00156-7_BIB22","doi-asserted-by":"crossref","unstructured":"C.A.R. Hoare, How did Software get to be so reliable without proof, 18th International Conference on Software Engineering (ICSE-18), 1996.","DOI":"10.1007\/3-540-60973-3_77"},{"issue":"12","key":"10.1016\/S0950-5849(00)00156-7_BIB23","first-page":"233","article-title":"Super VISE-system specification and design methodology","author":"Hodgson","year":"1997","journal-title":"ICL Systems Journal"},{"issue":"23","key":"10.1016\/S0950-5849(00)00156-7_BIB24","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1109\/32.588521","article-title":"The model checker SPIN","author":"Holtzmann","year":"1997","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0950-5849(00)00156-7_BIB25","doi-asserted-by":"crossref","unstructured":"C.N. Ip, D.L. Dill, Verifying systems with replicated components in Murphi, International Conference on Computer Aided Verification, 1996.","DOI":"10.1007\/3-540-61474-5_65"},{"key":"10.1016\/S0950-5849(00)00156-7_BIB26","doi-asserted-by":"crossref","unstructured":"R. Kurki-Suoni, Component and interface refinement in closed-systems specifications, FM\u201999, 1999.","DOI":"10.1007\/3-540-48119-2_10"},{"issue":"21","key":"10.1016\/S0950-5849(00)00156-7_BIB27","first-page":"336","article-title":"Specification and analysis of system architecture using Rapide","author":"Luckman","year":"1995","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"21","key":"10.1016\/S0950-5849(00)00156-7_BIB28","first-page":"717","article-title":"An event-based architecture definition language","author":"Luckman","year":"1995","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0950-5849(00)00156-7_BIB29","series-title":"Concurrency: State models and Java Programs","author":"Magee","year":"1999"},{"key":"10.1016\/S0950-5849(00)00156-7_BIB30","unstructured":"Object Management Group, Common Object Request Broker: Architecture Specification."},{"key":"10.1016\/S0950-5849(00)00156-7_BIB31","series-title":"Business processes-modelling and analysis for re-engineering and improvement","author":"Ould","year":"1995"},{"key":"10.1016\/S0950-5849(00)00156-7_BIB32","doi-asserted-by":"crossref","DOI":"10.1108\/14637159710192284","article-title":"Designing a re-engineering proof process architecture","volume":"3","author":"Ould","year":"1997","journal-title":"Business Process management Journal"},{"issue":"40","key":"10.1016\/S0950-5849(00)00156-7_BIB33","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/S0950-5849(98)00047-0","article-title":"RolEnact \u2014 role based enactable models of business processes","author":"Phalp","year":"1998","journal-title":"Information and Software Technology"},{"key":"10.1016\/S0950-5849(00)00156-7_BIB34","unstructured":"RolEnact, Available from: http:\/\/www.ecs.soton.ac.uk\/~ph\/RolEnact."},{"issue":"21","key":"10.1016\/S0950-5849(00)00156-7_BIB35","doi-asserted-by":"crossref","first-page":"314","DOI":"10.1109\/32.385970","article-title":"Abstractions for software architecture and tools to support them","author":"Shaw","year":"1995","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0950-5849(00)00156-7_BIB36","series-title":"Software Architecture-Perspectives on an Emerging Discipline","author":"Shaw","year":"1996"},{"key":"10.1016\/S0950-5849(00)00156-7_BIB37","doi-asserted-by":"crossref","unstructured":"K. Sullivan, J.C. Knight, Experience assessing an architectural approach to large scale reuse, 18th International Conference on Software Engineering (ICSE-18), 1996.","DOI":"10.1109\/ICSE.1996.493418"},{"key":"10.1016\/S0950-5849(00)00156-7_BIB38","doi-asserted-by":"crossref","unstructured":"K. Sullivan, J. Socha, M. Marchukov, Using formal methods to reason about architectural standards, 19th International Conference on Software Engineering, Boston, 1997.","DOI":"10.1145\/253228.253433"},{"key":"10.1016\/S0950-5849(00)00156-7_BIB39","unstructured":"A. Thomas, Enterprise JavaBeans Technology, Patricia Seybold Group, White Paper prepared for Sun Microsystems Inc., December 1998."}],"container-title":["Information and Software Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584900001567?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584900001567?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,22]],"date-time":"2019-04-22T02:24:36Z","timestamp":1555899876000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0950584900001567"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,3]]},"references-count":39,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2001,3]]}},"alternative-id":["S0950584900001567"],"URL":"https:\/\/doi.org\/10.1016\/s0950-5849(00)00156-7","relation":{},"ISSN":["0950-5849"],"issn-type":[{"value":"0950-5849","type":"print"}],"subject":[],"published":{"date-parts":[[2001,3]]}}}