CompoBook

Technical Track

Contents

Fundamental aspects

Formal specification document repositories in short 153

The structure of formal specification document repositories. 182

Establishing standardized exchange of specification documents Fout! Bladwijzer niet gedefinieerd.

Implementation. 194

Restrictions. 198

Reusable items

Integrity. 203

Integrity of the repository structure. 204

Integrity of formal specification document identity. 210

The standard. 215

General structure. 219

The formal specification documents. 220

The necessary and the optional items in a formal specification document 222

Types of formal specification documents. 233

XML Restrictions. 259

Example. 261

XMI 263

Stores of types of formal specification documents. 275

Dedicated repositories. 278

Fixed node names. 282

Relative addressing. 295

Navigation. 297

Categorization. 302

Completing the picture. 308

Document editors. 309

The formal specification document importer 314

The formal specification document exporter 317

Proof of concept 321

Editor/viewers. 327

Document exporter 330

Document importer 332

Other tools. 334

Conclusion. 336

Formal specifications. 341. 413

A complete set of descriptors. 415

Atomic descriptors. 416

Categorization and grouping. 431

Equivalence Classes. 434

Modularization. 439

Modules. 440

Component Model 445

Introduction. 446

COM.. 450

RCOM.. 455

Encapsulation. 460

Example. 462

C++ view.. 464

C view.. 468

Vtbl 478

The size of instances. 480

Component Based Systems. 484

Hiding intellectual property. 486

Types. 488

Void. 494

Method Characteristics. 497

Module Methods and Attributes. 500

Module interfaces. 502

Normal interfaces. 503

Require interfaces. 506

Connection schemes. 508

Connection-requests. 510

Establishing and releasing connections. 512

Hardware interfaces. 515

Streaming interfaces. 517

Notification interfaces. 519

Late settable assets. 521

Local call disclosures. 523

Scheduling plans. 525

Realization. 528

Instances of classes of modules. 529

Class-wide Assets. 535

Implementation of the Module Class. 537

Implementation of the Instances. 539

Specification Reuse. 541

Higher-level specification elements. 542

Intellectual Property. 546

The Public Part 548

Publication. 550

Specification documents. 552

Activity in a Component-based System.. 555

Modeling actions in software. 556

Program blocks. 562

Routines. 571

Resource-restricted real-time. 575

Repair 580

Repair trail 583

Repair of Periodic and Sporadic Tasks. 587

Rules. 589

Fault Tolerance. 593

Stopping and pausing tasks. 595

Multi-threaded systems. 600

Time slicing. 601

Threads. 604

Tasks. 607

Task scheduling. 610

Starting, pausing, stopping and tuning a task. 611

Scheduling and priorities. 613

Scheduling algorithms. 619

Handling resource restrictions. 623

Thread switching versus scheduling. 625

Switching connections. 628

Interrupt handling. 630

Interrupts. 631

Scheduling and time slicing of modules. 634

Traditional ways of scheduling. 637

Scheduling within modules. 640

Resource brokers. 645

Synchronizing tasks. 647

Centralized versus distributed control 649

Designing dynamic behavior in component based systems 652

Memory management 658

Products. 672

Packaging. 673

Publishing packages. 675

Different ways of packaging. 678

Design aids. 681

Local completion. 683

The package manager 685

Generating binary packages for an open market 689

Registration and instance management 691

System integration. 693

Configuring modular systems. 694

Designing modular systems. 704

Specification of component based systems. 707

Specification documents. 708

Administrative specification elements. 710

Name. 711

Prefix. 713

Type names and globally unique identifiers. 715

Description. 717

Documentation. 719

Origin. 721

Location. 723

Include files. 725

Default values. 727

Initial values. 729

Reference to parent class. 731

Reference to container 733

References to special services. 735

References to classes of reusable design elements. 737

Specifying design and configuration projects. 739

Specifying packages. 771

Specifying reusable modules. 786

Types of specifications. 787

The public part of the specification of a module. 790

The hidden part 817

Implied elements. 823

Specifying normal interfaces. 833

Specifying require interfaces. 848

Specifying hardware interfaces. 857

Specifying streaming interfaces. 876

Specifying notification interfaces. 888

Specifying assets. 897

Specifying types. 904

Type data. 905

References. 907

Arrays. 909

Plain types. 912

Structured types. 914

Enumerations. 916

Types of higher-level design elements. 918

Specifying methods. 920

The public part 922

The hidden part 943

Specifying schedule plans. 949

Specifying schedules. 950

Specifying tasks. 952

Initial priorities. 970

Specifying connection schemes. 972

Specifying schemes. 973

Specifying connections. 975

Specifying states. 983

Specifying state transitions. 985

Specifying triggers. 987

Specifying targets. 994. 200