SCOPUS 정보 검색 플랫폼

Science of Computer Programming

Volumn 42, Issue 2-3, 2002, Pages 129-171

Component-based software architectures: A framework based on inheritance of behavior

(3) Van Der Aalst, W M P a,c Van Hee, K M a,b Van Der Toorn, R A a,b

a EINDHOVEN UNIVERSITY OF TECHNOLOGY (Netherlands)

b Deloitte and Touche Bakkenist (Netherlands)

c UCB 450 (United States)

Author keywords

Components; Inheritance; Petri nets; Software architectures

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING LANGUAGES; INTERFACES (COMPUTER); PETRI NETS; SOFTWARE ENGINEERING;

COMPONENT-BASED SOFTWARE ARCHITECTURE;

COMPUTER SOFTWARE;

EID: 0036466772 PISSN: 01676423 EISSN: None Source Type: Journal
DOI: 10.1016/S0167-6423(01)00005-3 Document Type: Article

Times cited : (51)

References (35)

1
- 52449135365
- Verification of workflow nets
- P. Azéma, G. Balbo (Eds.), Application and Theory of Petri Nets 1997, Springer, Berlin
- (1997) Lecture Notes in Computer Science , vol.1248 , pp. 407-426
- Van der Aalst, W.M.P.¹

2
- 0002719897
- The application of Petri nets to workflow management
- (1998) The J. Circuits, Systems Comput. , vol.8 , Issue.1 , pp. 21-66
- Van der Aalst, W.M.P.¹

3
- 0002307971
- Workflow verification: Finding control-flow errors using Petri-net-based techniques
- Business Process Management: Models, Techniques, and Empirical Studies, Springer, Berlin
- (2000) Lecture Notes in Computer Science , vol.1806 , pp. 161-183
- Van der Aalst, W.M.P.¹

4
- 84958956467
- Life-cycle inheritance: A Petri-net-based approach
- P. Azéma, G. Balbo (Eds.), Application and Theory of Petri Nets 1997, Springer, Berlin
- (1997) Lecture Notes in Computer Science , vol.1248 , pp. 62-81
- Van der Aalst, W.M.P.¹ Basten, T.²

5
- 0037028431
- Inheritance of workflows: An approach to tackling problems related to change
- (2002) Theoret. Comput. Sci. , vol.270 , pp. 125-203
- Van der Aalst, W.M.P.¹ Basten, T.²

6
- 84947264708
- ExSpect 6.4: An executable specification tool for hierarchical colored Petri nets
- M. Nielsen, D. Simpson (Eds.), Application and Theory of Petri Nets 2000., Springer, Berlin
- (2000) Lecture Notes in Computer Science , vol.1825 , pp. 455-464
- Van der Aalst, W.M.P.¹ De Crom, P.² Goverde, R.³ Van Hee, K.M.⁴ Hofman, W.⁵ Reijers, H.⁶ Van der Toorn, R.A.⁷

7
- 84974720115
- Designing an object-oriented programming language with behavioral subtyping
- J.W. De Bakker, W.P. De Roever, G. Rozenberg (Eds.), Foundation of Object-Oriented Languages, Springer, Berlin
- (1991) Lecture Notes in Computer Science , vol.489 , pp. 60-90
- America, P.¹

8
- 0007045936
- Deloitte & Touche Bakkenist
- ExSpect Home Page

9
- 0004025223
- Addison Wesley, Reading, MA, USA
- (1998) Software Architecture in Practice, Series in Software Engineering
- Bass, L.¹ Clements, P.² Kazman, R.³

10
- 0003973345
- Ph.D. Thesis, Eindhoven University of Technology, Eindhoven, The Netherlands, December
- (1998) In terms of nets: System design with Petri nets and process algebra
- Basten, T.¹

11
- 84958971309
- Petri-net based behavioural specification of CORBA systems
- Application and Theory of Petri Nets 1999, Springer, Berlin
- (1999) Lecture Notes in Computer Science , vol.1639 , pp. 66-85
- Bastide, R.¹ Palanque, P.²

12
- 0004101993
- Wiley, New York
- (1996) Pattern Oriented Software Architecture: A System of Patterns
- Buschmann, F.¹ Meunier, R.² Rohnert, H.³ Sommerlad, P.⁴ Stal, M.⁵

13
- 0003947126
- Cambridge University Press, Cambridge, UK
- (1995) Free Choice Petri Nets, Cambridge Tracts in Theoretical Computer Science , vol.40
- Desel, J.¹ Esparza, J.²

14
- 0003880013
- Addison Wesley, Reading, MA, USA
- (1995) Design Patterns: Elements of Reusable Object-Oriented Software, Professional Computing Series
- Gamma, E.¹ Helm, R.² Johnson, R.³ Vlissides, J.⁴

15
- 0007095401
- Carnegie Mellon
- ADL's and Related Languages
- Garlan, D.¹ Monroe, R.T.² Wile, D.³

16
- 0001803032
- Acme: An architecture description interchange language
- Toronto, Ontario, November
- (1997) Proc. CASCON'97 , pp. 169-183
- Garlan, D.¹ Monroe, R.T.² Wile, D.³

17
- 0002008223
- An introduction to software architecture
- V. Ambriola, G. Tortora (Eds.), World Scientific Publishing Company, Singapore
- (1993) Advances in Software Engineering and Knowledge Engineering , pp. 1-39
- Garlan, D.¹ Shaw, M.²

18
- 0030143334
- Branching time and abstraction in bisimulation semantics
- (1996) J. ACM , vol.43 , Issue.3 , pp. 555-600
- Van Glabbeek, R.J.¹ Weijland, W.P.²

19
- 0003633301
- Cambridge University Press, Cambridge
- (1994) Information System Engineering: A Formal Approach
- Van Hee, K.M.¹

20
- 0007089709
- A framework for component based software architectures
- W.M.P. Van der Aalst, J. Desel, R. Kaschek, (Eds.), Heidelberg, Germany, June, Forschungsbericht Nr. 390, University of Karlsruhe, Institut AIFB, Karlsruhe, Germany
- (1999) Software Architectures for Business Process Management (SABPM'99) , pp. 1-20
- Van Hee, K.M.¹ Van der Toorn, R.A.² Van der Woude, J.³ Verkoulen, P.⁴

21
- 0007097698
- ITU-TS recommendation Z.120: Message sequence chart 1996 (MSC96)
- Geneva
- (1996) Techn. Rep. ITU-TS

22
- 0007046816
- Coloured Petri nets. Basic concepts, analysis methods and practical use
- Springer, Berlin
- (1996) EATCS Monographs on Theoretical Computer Science
- Jensen, K.¹

23
- 0003220539
- Object-oriented behavioral specifications
- Kluwer Academic Publishers, Boston, MA, USA
- (1996) The Kluwer International Series in Engineering and Computer Science , vol.371
- Kilov, H.¹ Harvey, W.²

24
- 0003234717
- Behavioral specifications of businesses and systems
- Kluwer Academic Publishers, Boston, MA, USA
- (1999) The Kluwer International Series in Engineering and Computer Science , vol.523
- Kilov, H.¹ Rumpe, B.² Simmonds, I.³

25
- 0001042407
- Attribute-based architecture styles
- San Antonio, TX
- (1999) Software Architecture, Proc. 1st Working IFIP Conf. on Software Architecture (WICSA1) , pp. 225-243
- Klein, M.¹ Kazman, R.² Bass, L.³ Carriere, J.⁴ Barbacci, M.⁵ Lipson, H.⁶

26
- 0029408391
- The 4+1 view model of architecture
- (1995) IEEE Software , vol.12 , Issue.6 , pp. 42-50
- Kruchten, P.¹

27
- 0028548263
- A behavioral notion of subtyping
- (1994) ACM Trans. Programming Languages Systems , vol.16 , Issue.6 , pp. 1811-1841
- Liskov, B.¹ Wing, J.²

28
- 0002345878
- Domains of concern in software architectures and architecture description languages
- Santa Barbara, October
- (1997) Proc. USENIX Conf. on Domain-Specific Languages , pp. 199-212
- Medvidovic, N.¹ Rosenblum, D.²

29
- 84949457531
- A framework for classifying and comparing architecture description languages
- Zurich, Switzerland
- (1997) Proc. 6th European Software Engineering Conf. together with the 5th ACM SIGSOFT Symp. on the Foundations of Software Engineering , pp. 60-67
- Medvidovic, N.¹ Taylor, R.N.²

30
- 0024645936
- Petri nets: Properties, analysis and applications
- (1989) Proc. IEEE , vol.77 , Issue.4 , pp. 541-580
- Murata, T.¹

31
- 0003246690
- Lectures on Petri nets I: Basic models
- Springer, Berlin
- (1998) Lecture Notes in Computer Science , vol.1491
- Reisig, W.¹ Rozenberg, G.²

32
- 0003723732
- Using UML for modeling complex real-time systems
- Selic, B.¹ Rumbaugh, J.²

33
- 0003787207
- Prentice-Hall, Englewood Cliffs, NJ
- (1996) Software Architecture: Perspectives on an Emerging Discipline
- Shaw, M.¹ Garlan, D.²

34
- 0003562903
- Addison-Wesley, Reading, MA
- (1998) Component Software: Beyond Object-Oriented Programming
- Szyperski, C.¹

35
- 0004123963
- Eindhoven University of Technology, Eindhoven, The Netherlands
- Woflan Home Page
- Verbeek, E.¹ Van der Aalst, W.M.P.²

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