|
Vladimir Mencl, Ph.D.
|
[Research] [Projects] [Theses & projects supervised] [Publications] [Education] [Teaching] [Resume] [Related work] [Personal]
The Asbaco Project captures the internal structure of the control part of a component and provides a mechanism to extend the control functionality via component aspects.
Proposes a scheme to obtain behavior specifications via NLP tools from textual use cases, implemented in an interactive environment in the Procasor project.
Port State Machines, an extension of UML2.0 Protocol State Machine, permit to capture the nesting and interleaving of operation calls on the interfaces of a component.
| PDF, Link |
Drazan J., Mencl V.: Improved Processing of Textual Use Cases: Deriving Behavior Specifications, in Proceedings of SOFSEM 2007, January 20 - 26, 2007, Harrachov, Czech Republic, LNCS 4362, pp.856-868, DOI: 10.1007/978-3-540-69507-3_74, Springer, January 2007 |
| WWW |
de Boer F., Mencl V. (Eds.): Proceedings of the Third International Workshop on Formal Aspects of Component Software (FACS 2006), Electronic Notes in Theoretical Computer Science, Volume 182, June 2007 |
|
Mencl V., Polak M.: UML 2.0 Components and Fractal: An Analysis, accepted to the 5th Fractal Workshop (part of ECOOP'06), July 3rd, 2006, Nantes, France, July 2006 |
|
|
Kofroň J., Adámek J., Bureš T., Ježek P., Mencl V., Parízek P., Plášil F.: Checking Fractal Component Behavior Using Behavior Protocols, Presented at the 5th Fractal Workshop (part of ECOOP'06), July 3rd, 2006, Nantes, France, July 2006 |
|
|
Barros T., Henrio L., Cansado A., Madelaine E., Morel M., Mencl V., Plášil F.: Extension of the Fractal ADL for the Specification of Behaviours of Distributed Components, accepted for poster presentation at the 5th Fractal Workshop (part of ECOOP'06), July 3rd, 2006, Nantes, France, July 2006 |
|
Mencl V., Plášil F., Adámek J.: Behavior Assembly and Composition of Use Cases - UML 2.0 Perspective, in Proceedings of the Software Engineering (SE) 2005 conference, Feb. 15-17, 2005, Innsbruck, Austria, ISBN 0-88986-466-7, ISSN 1027-2666, pp. 193-201, ACTA Press, February 2005 |
|
| PDF, Link |
Mencl V., Bureš T.: Microcomponent-Based Component Controllers: A Foundation for Component Aspects, in Proceedings of 12th Asia-Pacific Software Engineering Conference (APSEC 2005), Dec 15-17, 2005, Taipei, Taiwan, pp. 729-738, ISBN 0-7695-2465-6, ISSN 1530-1362, IEEE Computer Society Press, December 2005 |
|
Hnětynka P., Plášil F., Bureš T., Mencl V., Kapová L.: SOFA 2.0 metamodel, Tech. Report No. 2005/11 (preliminary version), Dep. of SW Engineering, Charles University, December 2005 |
|
Mencl V.: Deriving Behavior Specifications from Textual Use Cases, in Proceedings of Workshop on Intelligent Technologies for Software Engineering (WITSE04, Sep 21, 2004, part of ASE 2004), Linz, Austria, ISBN 3-85403-180-7, pp. 331-341, Oesterreichische Computer Gesellschaft, September 2004 |
|
| PDF, Link |
Mencl V.: Specifying Component Behavior with Port State Machines, Electronic Notes in Theoretical Computer Science, vol. 101C pp. 129-153, Proceedings of the Workshop on the Compositional Verification of UML Models (CVUML, Oct 21, 2003, part of UML 2003), Edited by F. de Boer and M. Bonsangue, ISSN 1571-0661, Elsevier Science, November 2004 |
| PDF, PDF |
Mencl V.: Use Cases: Behavior Assembly, Behavior Composition and Reasoning, Ph.D. Thesis, advisor: Frantisek Plasil, June 2004 |
|
Mencl V.: Converting Textual Use Cases into Behavior Specifications, Tech. Report No. 2004/5, Dept. of SW Engineering, Charles University, Prague, August 2004 |
|
Plášil F., Mencl V.: Getting "Whole Picture" Behavior in a Use Case Model, in Proceedings of IDPT 2003, Austin, Texas, U.S.A., ISSN 1090-9389, abstract pp. 23, full paper on CD in session-4/p-4-4.pdf, published by Society for Design and Process Science, Grandview, Texas, awarded with Rudolf Christian Karl Diesel Best Paper Award, also published in Transactions of the SDPS: Journal of Integrated Design and Process Science, vol. 7, no. 4, pp. 63-79, December 2003 |
|
|
Plášil F., Mencl V.: Getting "Whole Picture" Behavior in a Use Case Model, in Transactions of the SDPS: Journal of Integrated Design and Process Science, vol. 7, no. 4, pp. 63-79, Dec 2003, ISSN-1092-0617, publisher: Society for Design and Process Science, Grandview, Texas, slightly modified version of paper published in Proceedings of IDPT 2003, December 2003 |
|
Mencl V.: Enhancing Component Behavior Specifications with Port State Machines, Tech. Report No. 2003/4, Dept. of SW Engineering, Charles University, Prague, September 2003 |
|
Plášil F., Mencl V.: Use Cases: Assembling "Whole Picture" Behavior, Technical Report 02/11, Department of Computer Science, University of New Hampshire, NH, U.S.A., November 2002 |
| PDF, PDF |
Mencl V.: Autonomous Points in Component Composition, Extended abstract of the Poster presented at OOPSLA 2001, in the Conference Companion, ACM ISBN 1-58113-441-X, pp. 83-84, Tampa, FL, USA, October 2001 |
|
Mencl V., Adámek J., Buble A., Hnětynka P., Višňovský S.: Enhancing EJB Component Model, Tech. Report No. 2001/7, Dep. of SW Engineering, Charles University, Prague, December 2001 |
|
|
Mencl V.: Managing Configuration of Update-enabled Software Components, Tech. Report No. 2001/5, Dep. of SW Engineering, Charles University, Prague, October 2001 |
|
|
Mencl V., Hnětynka P.: Managing Evolution of Component Specifications using a Federation of Repositories, Tech. Report No. 2001/2, Dep. of SW Engineering, Charles University, Prague, June 2001 |
| PDF, PostScript |
Mencl V.: Component Definition Language, Master Thesis, advisor: Nguyen Duy Hoa, 1998 |
