Abstract
Mistakes or foresight in the earlier phases of product development tend to be amplified over the course of a project. Therefore, having a rigorous approach and supporting tools to identify and filter a development portfolio at the early stages can be highly rewarding. This paper presents an executable specification language, Object-Process Network (OPN), that can be used by system designers to formally represent the development option space, and automate certain model refinement activities at earlier phases of product development. Specifically, an OPN specification model can automatically enumerate a set of alternative development portfolios. OPN also provides an algebraic mechanism to handle the knowledge incompleteness problems at varying phases of planning, so that uncertain properties of different portfolios can be represented and analyzed under algebraic principles.
In addition, it has a recursively defined model transformation operator that can iteratively refine the specification models to simplify or enhance the details of the machine-generated alternatives. A list of successful application cases is presented.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
C. Y. Baldwin and K. B. Clark. Design Rules, Vol. 1: The Power of Modularity. The MIT Press, Mar 2000.
P. Cousot and R. Cousot. Compositional and inductive semantic definition in fixpoint, equational, constraint, closure-conditioned, rule-based and gametheoretic form. In P. Wolper, editor, Computer Aided Verification: 7th International Conference, LNCS 939, pages 293–308. Springer-Verlag, July 3–5 1995.
K. Czarnecki and U. W. Eisenecker. Generative Programming: Methods, Tools and Applications. Addison-Wesley, 2000.
W. Griswold, M. Shonle, K. Sullivan, Y. Song, N. Tewari, Y. Cai, and H. Rajan. Modular software design with crosscutting interfaces. IEEE Software, 23(1):51–60, 2006.
J. Guttag and J. J. Horning. Formal specification as a design tool. In Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 251–261, New York, NY, USA, 1980. ACM Press.
C. A. R. Hoare. Process algebra: A unifying approach. In J. W. S. Aku E. Abdallah, Cliff B. Jones, editor, Communicating Sequential Processes, July 2005.
J. C. Hull. Options, Futures, and other Derivative Securities. Prentice Hall, 2nd edition, 1993.
B. H. Y. Koo. A Meta-language for Systems Architecting. PhD thesis, Massachusetts Institute of Technology, Cambridge, MA, 2005.
B. H. Y. Koo, W. L. Simmons, and E. F. Crawley. Algebra of systems: an executable framework for model synthesis and evaluation. In Proceedings of the 2007 International Conference on Systems Engineering and Modeling, 2007.
W. L. Simmons, B. H. Y. Koo, and E. F. Crawley. Architecture generation for Moon-Mars exploration using an executable meta-language. In Proceedings of AIAA Space 2005, 30 August–1 September, Long Beach, CA, 2005.
W. L. Simmons, B. H. Y. Koo, and E. F. Crawley. Space systems architecting using meta-languages. In 56th International Astronautical Congress, 2005.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2007 Springer-Verlag London Limited
About this paper
Cite this paper
Koo, B.H.Y., Simmons, W.L., Crawley, E.F. (2007). A Valuation Technology for Product Development Options Using an Executable Meta-modeling Language. In: Loureiro, G., Curran, R. (eds) Complex Systems Concurrent Engineering. Springer, London. https://doi.org/10.1007/978-1-84628-976-7_13
Download citation
DOI: https://doi.org/10.1007/978-1-84628-976-7_13
Publisher Name: Springer, London
Print ISBN: 978-1-84628-975-0
Online ISBN: 978-1-84628-976-7
eBook Packages: EngineeringEngineering (R0)