Summary
Archi3D is a successful practice well proved by engineering implementations. In this paper, both static class diagrams and dynamic constraint rules related to existing systems are investigated, optimization initiations are proposed with a semantics formalization approach called EID-SCE. Revelations and validations are extended at fundamental aspect of {OWA (open world assumption), CWA (closed world assumption)}, Yes/No vs. True/False, implicit vs. explicit, etc, to achieve formalization which could contribute to the semantics objects identification of 3D reconstruction processes. The expected result is gain efficiency of both description and implementation from the application of the proposed formalization.
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
Cruz, C., Marzani, F., Boochs, F.: Ontology-driven 3D reconstruction of architectural objects. In: Ranchordas, A., Araújo, H., Vitrià , J. (eds.) VISAPP, pp. 47–54. NSTICC Press (2007)
Cruz, C., Nicolle, C.: Active3D: Vector of Collaboration, Between Sharing and Data Exchange. Jounal of Computer Science 5(3), 1–8 (2006)
Li, N., Boochs, F., Cruz, C.: Archi3D, technical report, Laboratory Le2i of Université de Bourgogne, Dijon, France (2007)
Duan, Y.: Propose Semantic Formalization for 3D Reconstruction of Architectural Objects. In: Lee, R.Y. (ed.) SERA. IEEE, Los Alamitos (in press, 2009)
Duan, Y.: A dualism based semantics formalization mechanism for model driven engineering. In: Wang, Y., Zhang, D., Latombe, J.-C., Kinsner, W. (eds.) ICCI, pp. 185–194. IEEE, Los Alamitos (2008)
Duan, Y., Kang, K.-C., Gu, Y.: A Solution Framework on Fundamentals in Model Transformation. In: Lee, R.Y. (ed.) ACIS-ICIS, pp. 355–360. IEEE Computer Society Press, Los Alamitos (2008)
OMG: SWRL: A Semantic Web Rule Language Combining OWL and RuleML, http://www.w3.org/Submission/SWRL/
Parsia, B., et al.: Cautiously Approaching SWRL, http://www.mindswap.org/papers/CautiousSWRL.pdf (Retrieved on 2009-06-10)
Grau, B.C., Horrocks, I., Motik, B., Parsia, B., Patel-Schneider, P.F., Sattler, U.: OWL 2: The next step for OWL. J. Web Sem. 6(4), 309–322 (2008)
Klinov, P., Parsia, B.: Optimization and Evaluation of Reasoning in Probabilistic Description Logic: Towards a Systematic Approach. In: Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol. 5318, pp. 213–228. Springer, Heidelberg (2008)
A Proposal for a SWRL Extension towards First-Order Logic, W3C Member Submission (April 11, 2005)
Wirfs-Brock, R., Wilkerson, B., Wiener, L.: Designing Object Oriented Software. Prentice-Hall, Englewood Cliffs (1990)
Kang, K., Cohen, S., Hess, J., Novak, W., Peterson, A.: Feature-Oriented Domain Analysis (FODA) Feasibility Study. Technical Report CMU/SEI-90-TR-21, ESD-90-TR-222. Software Engineering Institute, Carnegie Mellon University (November 1990)
Park, E.-J., Kim, H.-K., Lee, R.Y.: Frameworks of Integration Repository for Software Process Improvement using SOA. In: Lee, R. (ed.) ACIS-ICIS, pp. 200–206 (2007)
Xu, S.: A Cognitive Model for Program Comprehension. In: Lee, K.W., Lee, R., Malloy, B. (eds.) SERA, pp. 392–398. IEEE, Los Alamitos (2005)
Guarino, N.: The ontological level. In: Casati, R., Smith, B., White, G. (eds.) Philosophy and the cognitive sciences, Hölder-Pichler-Tempsky (1994), http://www.loa-cnr.it/Papers/OntLev.pdf
Chen, P.P.: The Entity-Relationship Model - Toward a Unified View of Data. ACM Trans. Database Syst. 1(1), 9–36 (1976)
OMG: Unified Modeling Language (UML), version 2.2., http://www.omg.org/technology/documents/formal/uml.htm
Fayad, M.E., Chiang, C.-C., Chacin, P., Ramaswamy, S., Sánchez-RuÃz, A.J., Nurcan, S.: The first international workshop on patterns languages: addressing challenges (PLAC 2007). OOPSLA Companion, pp. 743–745. ACM, New York (2007)
Feigenbaum, E.A.: Some challenges and grand challenges for computational intelligence. Journal of ACM 50(1), 32–40 (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Duan, Y. (2009). Efficiency from Formalization: An Initial Case Study on Archi3D. In: Lee, R., Ishii, N. (eds) Software Engineering Research, Management and Applications 2009. Studies in Computational Intelligence, vol 253. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-05441-9_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-05441-9_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-05440-2
Online ISBN: 978-3-642-05441-9
eBook Packages: EngineeringEngineering (R0)