SCOPUS 정보 검색 플랫폼

Formal Methods in System Design

Volumn 21, Issue 2, 2002, Pages 111-166

A formal framework for viewpoint consistency

(4) Bowman, H a Steen, M W A a Boiten, E A a Derrick, J a

a UNIVERSITY OF KENT (United Kingdom)

Author keywords

Development models; FDTs; LOTOS; Open distributed processing; Process algebra; Viewpoints

Indexed keywords

ALGEBRA; COMPUTER SIMULATION; OBJECT ORIENTED PROGRAMMING; RAPID PROTOTYPING; SEMANTICS; SET THEORY; SOFTWARE ENGINEERING; STANDARDIZATION;

FORMAL DESCRIPTION TECHNIQUE; LOTOS; OPEN DISTRIBUTED PROCESSING; PROCESS ALGEBRA; SYSTEM DEVELOPMENT; VIEWPOINTS;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 0036722895 PISSN: 09259856 EISSN: None Source Type: Journal
DOI: 10.1023/A:1016000201864 Document Type: Article

Times cited : (37)

References (54)

1
- 33748879945
- Formal specification via viewpoints
- in J. Hosking (Ed.)
- Proc. 13th New Zealand Computer Conference, New Zealand Computer Society, Auckland, New Zealand, 1993 , pp. 218-237
- Ainsworth, M.¹ Cruickshank, A.H.² Groves, L.J.³ Wallis, P.J.L.⁴

2
- 0027927714
- Viewpoint specification and Z
- (1994) Information and Software Technology , vol.36 , Issue.1 , pp. 43-51
- Ainsworth, M.¹ Cruickshank, A.H.² Groves, L.J.³ Wallis, P.J.L.⁴

3
- 0009901654
- Co-refinement
- in D. Till (Ed.); Springer-Verlag, Berlin
- Proc. 6th Refinement Workshop, City University, London, 1994
- Ainsworth, M.¹ Wallis, P.J.L.²

4
- 4243797413
- Cross viewpoint consistency in open distributed processing (intra language consistency)
- Technical Report 8-95, Computing Laboratory, University of Kent at Canterbury
- (1995)
- Boiten, E.¹ Bowman, H.² Derrick, J.³ Steen, M.⁴

5
- 84957365698
- Viewpoint consistency in Z and LOTOS: A case study
- in J. Fitzgerald, C.B. Jones, and P. Lucas (Eds.); LNCS, Graz, Austria, Springer-Verlag, Berlin
- (1997) Formal Methods Europe (FME '97) , vol.1313 , pp. 644-664
- Boiten, E.¹ Bowman, H.² Derrick, J.³ Steen, M.⁴

6
- 84949483743
- Consistency and refinement for partial specification in Z
- in M.-C. Gaudel and J. Woodcock (Eds.); Springer-Verlag, Berlin
- (1996) FME'96: Industrial Benefit of Formal Methods, Third International Symposium of Formal Methods Europe, Vol. 1051 of Lecture Notes in Computer Science , pp. 287-306
- Boiten, E.¹ Derrick, J.² Bowman, H.³ Steen, M.⁴

7
- 0023544236
- Introduction to the ISO specification language LOTOS
- (1988) Computer Networks and ISDN Systems , vol.14 , Issue.1 , pp. 25-59
- Bolognesi, T.¹ Brinksma, E.²

8
- 0003434834
- The Benjamin/Cummings Publishing
- (1994) Object-Oriented Analysis and Design
- Booch, G.¹

9
- 0003950990
- Rational Software Corporation
- (1997) Unified Modeling Language
- Booch, G.¹ Rumbaugh, J.² Jacobson, I.³

10
- 0009273222
- Viewpoint consistency in ODP, a general interpretation
- First IFIP International Workshop on Formal Methods for Open Object-Based Distributed Systems, Chapman and Hall, Paris, 1996 , pp. 189-204
- Bowman, H.¹ Boiten, E.A.² Derrick, J.³ Steen, M.W.A.⁴

11
- 0033101509
- Strategies for consistency checking based on unification
- (1999) Science of Computer Programming , vol.33 , pp. 261-298
- Bowman, H.¹ Boiten, E.A.² Derrick, J.³ Steen, M.W.A.⁴

12
- 0002277179
- On behavioural subtyping in LOTOS
- in H. Bowman and J. Derrick (Eds.); Chapman and Hall
- (1997) FMOODS'97, 2nd IFIP Conference on Formal Methods for Open Object Based Distributed Systems , pp. 335-351
- Bowman, H.¹ Briscoe-Smith, C.² Derrick, J.³ Strulo, B.⁴

13
- 0002854208
- A junction between state based and behavioural specification
- in A. F̃antechi, P. C̃iancarini, and R. Gorrieri (Eds.); Kluwer
- (1999) FMOODS'99, 3rd IFIP Conference on Formal Methods for Open Object Based Distributed Systems , pp. 213-239
- Bowman, H.¹ Derrick, J.²

14
- 0029370034
- FDTs for ODP
- (1995) Computer Standards and Interfaces , vol.17 , pp. 457-479
- Bowman, H.¹ Derrick, J.² Linington, P.³ Steen, M.W.A.⁴

15
- 0029733930
- Cross viewpoint consistency in open distributed processing
- in A. Finkelstein and I. Sommerville (Eds.)
- (1996) IEE Software Engineering Journal, Special Issue on Viewpoints , vol.11 , Issue.1 , pp. 44-57
- Bowman, H.¹ Derrick, J.² Linington, P.F.³ Steen, M.W.A.⁴

16
- 0009898844
- Some results on cross viewpoint consistency checking
- in K. Raymond and L. Armstrong (Eds.); Chapman and Hall, Brisbane, Australia
- (1995) IFIP TC6 International Conference on Open Distributed Processing , pp. 399-412
- Bowman, H.¹ Derrick, J.² Steen, M.W.A.³

17
- 84885228073
- What is the method in formal methods
- in K.R. Parker and G.A. Rose (Eds.)
- FORTE'91, Formal Description Techniques, IV, North-Holland, Sydney, Australia, 1992 , pp. 33-50
- Brinksma, E.¹

18
- 0003401765
- Formal notions of implementation and conformance in LOTOS
- Technical Report INF-86-13, Dept. of Informatics, Twente University of Technology
- (1986)
- Brinksma, E.¹ Scollo, G.²

19
- 0000217455
- Process specification, their implementation and their tests
- in B. Sarikaya and G.V. Bochmann (Eds.)
- Protocol Specification, Testing and Verification, VI. North-Holland, Montreal, Canada, 1986 , pp. 349-360
- Brinksma, E.¹ Scollo, G.² Steenbergen, C.³

20
- 4243694268
- Prost report of the study on testing for open distributed processing
- in A. Herbert, P.F. Linington, D. Rayner, F. Schulz, and R. Soley (Eds.), APM Ltd.
- (1993)
- Cowen, G.¹ Derrick, J.² Gill, M.³ Girling, G.⁴

21
- 0009931407
- Supporting ODP-translating LOTOS to Z
- Chapman and Hall, Paris
- (1996) First IFIP International Workshop on Formal Methods for Open Object-Based Distributed Systems , pp. 399-406
- Derrick, J.¹ Boiten, E.A.² Bowman, H.³ Steen, M.⁴

22
- 0009904229
- Translating LOTOS to object-Z
- in D.J. Duke and A.S. Evans (Eds.); Springer-Verlag
- (1997) Northern Formal Methods Workshop, Vol. 2nd BCS-FACS Northern Formal Methods Workshop of Workshops in Computing
- Derrick, J.¹ Boiten, E.A.² Bowman, H.³ Steen, M.⁴

23
- 0009901505
- Viewpoints and consistency: Translating LOTOS to object-Z
- (1999) Computer Standards and Interfaces , vol.21 , pp. 251-272
- Derrick, J.¹ Boiten, E.A.² Bowman, H.³ Steen, M.⁴

24
- 0009902679
- Maintaining cross viewpoint consistency using Z
- in K. Raymond and L. Armstrong (Eds.); Chapman and Hall, Brisbane, Australia
- (1995) IFIP TC6 International Conference on Open Distributed Processing , pp. 413-424
- Derrick, J.¹ Bowman, H.² Steen, M.³

25
- 84951754664
- Viewpoints and objects
- Springer-Verlag, Limerick
- (1995) Ninth Annual Z User Workshop, Lecture Notes in Computer Science 967
- Derrick, J.¹ Bowman, H.² Steen, M.³

26
- 0000925086
- Temporal theories as modularisation units for concurrent system specification
- (1992) Formal Aspects of Computing , vol.4 , pp. 239-272
- Fiadeiro, J.¹ Maibaum, T.²

27
- 0003112251
- Viewpoints: A framework for integrating multiple perspectives in system development
- Special issue on Trends and Research Directions in Software Engineering Environments
- (1992) International Journal on Software Engineering and Knowledge Engineering , vol.2 , Issue.1 , pp. 31-58
- Finkelstein, A.¹ Kramer, J.² Nuseibeh, B.³ Finkelstein, L.⁴ Goedicke, M.⁵

28
- 85034210851
- Introducing institutions
- in E. Clarke and D. Kozen (Eds.); Springer-Verlag, Berlin
- (1984) Proceedings Logics of Programming Workshop, Vol. 164 of Lecture Notes in Computer Science , pp. 221-256
- Goguen, J.¹ Burstall, R.²

29
- 0004189966
- MIT Press
- (1988) Algebraic Theory of Processes
- Hennessy, M.¹

30
- 0003843704
- Prentice Hall
- (1985) Communicating Sequential Processes
- Hoare, C.A.R.¹

31
- 0009936816
- Incremental specification in LOTOS
- in L. Logrippo, R.L. Probert, and H. Ural (Eds.); Ottawa, Canada
- (1990) Protocol Specification, Testing and Verification X , pp. 183-196
- Ichikawa, H.¹ Yamanaka, K.² Kato, J.³

32
- 0004296536
- Information processing systems-Open systems interconnection-Basic reference model
- ISO, IS 7498
- (1984)

33
- 0003783398
- Information processing systems-Open systems interconnection-LOTOS-A formal description technique based on the temporal ordering of observational behaviour
- ISO, IS 8807
- (1989)

34
- 0041114851
- LOTOS description of the Session Protocol
- ISO; ISO/IEC TR9572
- (1989)

35
- 0041114851
- LOTOS description of the Session Service
- ISO; ISO/IEC TR9571
- (1989)

36
- 0039728271
- ITU Recommendation X.901-904-ISO/IEC 10746 1-4; July
- (1995) Open Distributed Processing-Reference Model-Parts 1-4

37
- 0029389271
- Structuring Z specifications with views
- (1995) ACM Transactions on Software Engineering and Methodology , vol.4 , Issue.4 , pp. 365-389
- Jackson, D.¹

38
- 4243797410
- Merging specification behaviours
- Technical Report 856, Departement d'informatique et de recherche operationelle, Universite de Montreal
- (1993)
- Khendek, F.¹ Von Bochmann, G.²

39
- 0003973763
- Aspect-oriented programming
- Technical Report SPL97-008 P9710042, PARC
- (1997)
- Kiczales, G.¹ Lamping, J.² Mendhekar, A.³ Maeda, C.⁴ Lopes, C.⁵ Loingtier, J.-M.⁶ Irwin, J.⁷

40
- 3042928163
- A constraint oriented proof methodology based on modal transition systems
- Technical Report RS-94-47, University of Aarhus
- (1994)
- Larsen, K.G.¹ Steffen, B.² Weise, C.³

41
- 0003938336
- On the role of implementation relations in the design of distributed systems using LOTOS
- Ph.D. Thesis, University of Liège, Liège, Belgium
- (1991)
- Leduc, G.¹

42
- 0027110692
- A framework based on implementation relations for implementing LOTOS specifications
- (1992) Computer Networks and ISDN Systems , vol.25 , pp. 23-41
- Leduc, G.¹

43
- 0002698209
- RM-ODP: The architecture
- in K. Raymond and L. Armstrong (Eds.); Chapman and Hall, Brisbane, Australia
- (1995) IFIP TC6 International Conference on Open Distributed Processing , pp. 15-33
- Linington, P.F.¹

44
- 0004175407
- Wiley
- (1984) The Foundations of Program Verification
- Loeckx, J.¹ Sieber, K.²

45
- 0003954103
- Prentice-Hall
- (1989) Communication and Concurrency
- Milner, R.¹

46
- 0009902041
- Language-free mathematical methods for software design (invited paper)
- Springer-Verlag, Limerick
- (1995) Ninth Annual Z User Workshop
- Parnas, D.L.¹

47
- 0003433273
- Prentice Hall
- (1991) An Introduction to Formal Specification and Z
- Potter, B.¹ Sinclair, J.² Till, D.³

48
- 0003885423
- Addison-Wesley
- (1989) Software Engineering
- Sommerville, I.¹

49
- 0009902042
- Composition of LOTOS specifications
- in P. Dembinski and M. Sredniawa (Eds.); Chapman and Hall, Warsaw, Poland
- (1995) Protocol Specification, Testing and Verification
- Steen, M.¹ Bowman, H.² Derrick, J.³

50
- 0003954905
- Consistency and composition of process specifications
- Ph.D. Thesis, University of Kent at Canterbury, Canterbury, Kent, UK
- (1998)
- Steen, M.W.A.¹

51
- 0003902059
- Prentice Hall
- (1996) Using Z: Specification, Refinement, and Proof
- Woodcock, J.¹ Davies, J.²

52
- 0009951598
- Fermenting and distilling
- in J.P. Bowen and J.A. Hall (Eds.)
- (1994) ZUM'94, Z User Workshop, Cambridge, United Kingdom , pp. 1-6
- Worden, R.¹

53
- 0009950356
- Translation from LOTOS and Estelle specifications to extended transition system and its verification
- in S.T. Voung (Ed.); North-Holland, Vancouver, Canada
- (1989) Formal Description Techniques, II , pp. 533-549
- Wu, J.-P.¹ Chanson, S.²

54
- 0027680647
- Conjunction as composition
- (1993) ACM Transactions on Software Engineering and Methodology , vol.2 , Issue.4 , pp. 379-411
- Zave, P.¹ Jackson, M.²

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.