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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
We acknowledge the reader may prefer other tools, such as component instead of class diagrams, and collaboration instead of sequence diagrams. The focus is on static and dynamic relationships between components.
References
Batory, D., Johnson, C., MacDonald, B., von Heeder, D.: Achieving extensibility through product-lines and domain-specific languages: a case study. In: ACM TOSEM, April 2002
Blake, M.B., Cleary, K., Ibanez, L., Ranjan, S., Gary, K.: Use case-driven component specification: a medical applications perspective to product line development. In: Proceedings of the ACM Symposium on Applied Computing (SAC’05), Software Engineering Track, Sante Fe, New Mexico, Mar 2005
Bontemps, Y., Heymans, P., Schobbens, P.-Y.: From live sequence charts to state machines and back: a guided tour. IEEE Trans. Softw. Eng. 31(12), 999–1014 (2005)
Campanelli, A., Parreiras, F.: Agile methods tailoring–a systematic literature review. J. Syst. Softw. 110, 85–100 (2015)
Coleman, D., Hayes, F., Bear, S.: Introducing objectcharts or how to use statecharts in object-oriented design. IEEE Trans. Softw. Eng. 18(1), 1992
Ferrentino, A.B., Mills, H.D.: State machines and their semantics in software engineering. In: Proceedings of the IEEE Conference on Computer Software and Applications (COMPSAC’77), pp. 242–251 (1977)
Gary, K., Blake, B., Ibanez, L., Gobbi, D., Aylward, S., Cleary, K.: IGSTK: an open source software platform for image-guided surgery. In: IEEE Computer Special Issue on Software Engineering Systems, April 2006
Gary, K., Kokoori, S., David, B., Otoom, M., Cleary, K.: Architecture validation in open source software. In: Proceedings of ROSATEA 2007: The Role of Software Architecture for Testing and Analysis, Boston, MA, July 2007
Gary, K., Kokoori, S., Muffih, B., Enquobahrie, A., Cheng, P., Yaniv, Z., Cleary, K.: Agile methods for safety-critical open source software. J. Softw. Pract. Exp. (2011) (Wiley)
Harel, D., Naamad, A.: The STATEMATE semantics of statecharts. ACM Trans. Softw. Eng. Method. (TOSEM) 5(4), 293–333 (1996)
Heineman, G.T., Councill, W.T. (eds.): Component-Based Software Engineering: Putting the Pieces Together. Addison-Wesley, Boston, MA (2001)
Khan, F., Jan, S.R., Tahir, M., Khan, S., Ullah, F.: Survey: dealing non-functional requirements at architecture level. VFAST Trans. Softw. Eng. 9(2), 7–13 (2016)
Kruchten, P.: The Rational Unified Process—An Introduction, 2nd edn. Addison-Wesley, Boston, MA (2000)
Metzger, A., Pohl, K.: Software product line engineering and variability management: achievements and challenges. In: Proceedings of the on Future of Software Engineering, pp. 70–84. ACM (2014)
Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., Lorensen, W.: Object-Oriented Modeling and Design. Prentice Hall (1991)
Zhu, X., Maiden, N., Pavan, P.: Scenarios: bringing requirements and architecture together. In: Proceedings of the 2nd International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM’03). Portland, OR (2003)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG
About this chapter
Cite this chapter
Gary, K.A., Blake, M.B. (2018). C-PLAD-SM: Extending Component Requirements with Use Cases and State Machines. In: Lee, R. (eds) Software Engineering Research, Management and Applications. SERA 2017. Studies in Computational Intelligence, vol 722. Springer, Cham. https://doi.org/10.1007/978-3-319-61388-8_6
Download citation
DOI: https://doi.org/10.1007/978-3-319-61388-8_6
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-61387-1
Online ISBN: 978-3-319-61388-8
eBook Packages: EngineeringEngineering (R0)