C-PLAD-SM: Extending component requirements with use cases and state machines

Kevin A. Gary, M. B. Blake

Research output: Contribution to journalArticle

Abstract

Classic approaches to component specification derived from component requirements emphasize identifying external interfaces and behaviors. The C-PLAD requirements model provided a unifying framework for combining domain requirements and application requirements through an iterative refinement process. C-PLAD repackaged UML features and Unified Process techniques into an iterative process. In our continuing work, we found another layer was required-the inclusion of state machines to drive the architectural specifications beyond component interfaces and into component states in order to provide guarantees in our domains of interest, namely safety-critical applications. In this paper we describe an extension to the C-PLAD approach, dubbed C-PLAD-SM, which addresses the gaps in our earlier work.

LanguageEnglish (US)
Pages93-106
Number of pages14
JournalStudies in Computational Intelligence
Volume722
DOIs
StatePublished - 2018

Fingerprint

Specifications

Keywords

  • Architecture
  • Component
  • State machine

ASJC Scopus subject areas

  • Artificial Intelligence

Cite this

C-PLAD-SM : Extending component requirements with use cases and state machines. / Gary, Kevin A.; Blake, M. B.

In: Studies in Computational Intelligence, Vol. 722, 2018, p. 93-106.

Research output: Contribution to journalArticle

@article{0f49b071a97d4264be1f2036ffd642ca,
title = "C-PLAD-SM: Extending component requirements with use cases and state machines",
abstract = "Classic approaches to component specification derived from component requirements emphasize identifying external interfaces and behaviors. The C-PLAD requirements model provided a unifying framework for combining domain requirements and application requirements through an iterative refinement process. C-PLAD repackaged UML features and Unified Process techniques into an iterative process. In our continuing work, we found another layer was required-the inclusion of state machines to drive the architectural specifications beyond component interfaces and into component states in order to provide guarantees in our domains of interest, namely safety-critical applications. In this paper we describe an extension to the C-PLAD approach, dubbed C-PLAD-SM, which addresses the gaps in our earlier work.",
keywords = "Architecture, Component, State machine",
author = "Gary, {Kevin A.} and Blake, {M. B.}",
year = "2018",
doi = "10.1007/978-3-319-61388-8_6",
language = "English (US)",
volume = "722",
pages = "93--106",
journal = "Studies in Computational Intelligence",
issn = "1860-949X",
publisher = "Springer Verlag",

}

TY - JOUR

T1 - C-PLAD-SM

T2 - Studies in Computational Intelligence

AU - Gary,Kevin A.

AU - Blake,M. B.

PY - 2018

Y1 - 2018

N2 - Classic approaches to component specification derived from component requirements emphasize identifying external interfaces and behaviors. The C-PLAD requirements model provided a unifying framework for combining domain requirements and application requirements through an iterative refinement process. C-PLAD repackaged UML features and Unified Process techniques into an iterative process. In our continuing work, we found another layer was required-the inclusion of state machines to drive the architectural specifications beyond component interfaces and into component states in order to provide guarantees in our domains of interest, namely safety-critical applications. In this paper we describe an extension to the C-PLAD approach, dubbed C-PLAD-SM, which addresses the gaps in our earlier work.

AB - Classic approaches to component specification derived from component requirements emphasize identifying external interfaces and behaviors. The C-PLAD requirements model provided a unifying framework for combining domain requirements and application requirements through an iterative refinement process. C-PLAD repackaged UML features and Unified Process techniques into an iterative process. In our continuing work, we found another layer was required-the inclusion of state machines to drive the architectural specifications beyond component interfaces and into component states in order to provide guarantees in our domains of interest, namely safety-critical applications. In this paper we describe an extension to the C-PLAD approach, dubbed C-PLAD-SM, which addresses the gaps in our earlier work.

KW - Architecture

KW - Component

KW - State machine

UR - http://www.scopus.com/inward/record.url?scp=85026326027&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85026326027&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-61388-8_6

DO - 10.1007/978-3-319-61388-8_6

M3 - Article

VL - 722

SP - 93

EP - 106

JO - Studies in Computational Intelligence

JF - Studies in Computational Intelligence

SN - 1860-949X

ER -