@article {Simula.simula.2262,
	title = {SAMM: an Architecture Modeling Methodology for Ship Command and Control Systems},
	journal = {Software and Systems Modeling},
	number = {1619-1366},
	year = {2014},
	pages = {1-48},
	publisher = {Springer Berlin Heidelberg},
	abstract = {Ship Command and Control Systems (SCCSs) are composed of large-scale, complex, real-time and software-intensive systems that complete tasks collaboratively. Open architecture has been introduced to design the architecture of SCCSs and has been refined into Functional Architecture (FA) and Technical Architecture (TA) to meet architectural requirements such as adapting fast-speed functional and technical changes. Thereby, specifying the architecture of SCCSs, based on FA and TA, becomes a key issue for stakeholders of the domain. In this paper, we propose an architecture modeling methodology (named as SAMM) for describing the architecture of SCCSs. SAMM is derived by following a systematic and generic framework-modeling Goal, domain-specific Conceptual model, architecture Viewpoint, and architecture description Language (GCVL), which guides domain experts to devise domain-specific architecture modeling methodologies of large-scale software-intensive systems. SAMM contains three viewpoints and 22 models, and a UML/SysML-based architecture description language. An industrial application of SAMM, along with the subsequent application of the derived SAMM architecture model (i.e., a deployed SCCS prototype) was conducted to evaluate SAMM. A questionnaire-based survey was also conducted to subjectively evaluate whether SAMM meets the modeling goals and its applicability. Results show that SAMM meets all modeling goals and is easy to apply.},
	author = {Fan, Zhiqiang and Yue, Tao and Zhang, Li}
}
@inproceedings {Simula.simula.2016,
	title = {Constraints: the Core of Supporting Automated Product Configuration of Cyber-Physical Systems},
	journal = {ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems},
	year = {2013},
	publisher = {ACM/IEEE},
	type = {Conference},
	address = {.},
	abstract = {In the context of product line engineering of cyber-physical systems, there exists a large number of constraints to support for example consistency checking of design decisions made in hardware and software components during configuration. Manual configuration is not feasible in this context considering that managing and manipulating all these constraints in a real industrial context is way too complicated. Therefore, automation is the only way to address such a complexity. However, to this end, relevant constraints have to be well-specified and characterized in the way such that automated configuration can be enabled. Such automation includes automated configuration value inference, optimizing configuration steps and consistency checking. In this paper, we classify and characterize constraints that are required to be specified to support most of the key functionalities of any automated product configuration solution, based on our experience of studying three industrial product line families.},
	keywords = {Conference},
	author = {Nie, Kunming and Yue, Tao and Ali, Shaukat and Zhang, Li and Fan, Zhiqiang},
	editor = {Grey, Jeff}
}
@inproceedings {Simula.simula.2260,
	title = {A Generic Framework for Deriving Architecture Modeling Methods for Large-Scale Software-Intensive Systems},
	journal = {SAC {\textquoteright}13 Proceedings of the 28th Annual ACM Symposium on Applied Computing},
	year = {2013},
	pages = {1750-1757},
	publisher = {ACM New York},
	type = {Conference},
	address = {New York, NY, USA},
	abstract = {Architecture description is critical for the development of large-scale software-intensive systems. However, there isn\&$\#$39;t a generic framework that can guide modelers through the derivation process of a domain-specific architecture modeling method (AMM). This process is usually complicated especially when the system is large-scale. In this paper, we propose a generic framework (named as GCVL) to guide modelers to devise AMMs for various domains. GCVL framework has been evaluated by applying it to derive an AMM (named as SAMM) for the ship command and control systems. SAMM is evaluated through a full-size industrial application. Results of the evaluation show that GCVL framework is applicable to define AMMs for large-scale software-intensive systems.},
	author = {Fan, Zhiqiang and Yue, Tao and Zhang, Li},
	editor = {Hung, Chih-Cheng and Hong, Jiman}
}
@techreport {25310,
	title = {The Core of Supporting Automated Product Configuration of Cyber-Physical Systems},
	number = {2012-33},
	year = {2012},
	note = {This technical report is an early version of a published conference paper. The published paper can be found here:https://www.simula.no/publications/constraints-core-supporting-automated-product-configuration-cyber-physical-systems},
	publisher = {Simula Research Laboratory},
	author = {Nie, Kunming and Yue, Tao and Ali, Shaukat and Zhang, Li and Fan, Zhiqiang}
}
