|
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.
| Refereed (journals/proceedings) | |
| PDF WWW | Chen, X., Liu, Z., Mencl, V.: Separation of Concerns and Consistent Integration in Requirements Modelling, in Proceedings of SOFSEM 2007, January 20 - 26, 2007, Harrachov, Czech Republic, LNCS 4362, pp. 819-831, DOI 10.1007/978-3-540-69507-3_71, Springer, Jan 2007 |
| PDF WWW | 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, Jan 2007 |
| Liu, Z., Mencl, V., Ravn, A. P., Yang, L.: Harnessing Theories for Tool Support, Accepted for publication in Proceedings of 2nd International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2006), 15-19 November 2006, Cyprus, IEEE Computer Society, Nov 2006 |
|
| Kofron, J., Adamek, J., Bures, T., Jezek, P., Mencl, V., Parizek, P., Plasil, F.: Checking Fractal Component Behavior Using Behavior Protocols, Presented at the 5th Fractal Workshop (part of ECOOP'06), July 3rd, 2006, Nantes, France, Jul 2006 |
|
| 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, Jul 2006 |
|
| Barros, T., Henrio, L., Cansado, A., Madelaine, E., Morel, M., Mencl, V., Plasil, 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, Jul 2006 |
|
| PDF WWW | Mencl, V., Bures, 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, Dec 2005 |
| Mencl, V., Plasil, F., Adamek, 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, Feb 2005 |
|
| PDF WWW | 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, Nov 2004 |
| 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, Sep 2004 |
|
| Plasil, 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, Dec 2003 |
|
| Plasil, 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, Dec 2003 |
|
| 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, Oct 2001 |
|
| Nonrefereed (proceedings/slides) | |
| Adamek, J., Bures, T., Jezek, P., Kofron, J., Mencl, V., Parizek, P., Plasil, F.: Real-life Behavior Specification of Software Components, Presented at the 11th EMEA Academic Forum, Dublin, Ireland, May 2006 |
|
| Mencl, V.: Microcomponent-Based Component Controllers: A Foundation for Component Aspects, presented at Seminar of UNU-IIST, Macao (slides), Sep 2005 |
|
| WWW | Mencl, V.: From Textual Use Cases to Behaviour Specifications, ERCIM News No. 59, October 2004, published by ERCIM EEIG, Sophia-Antipolis Cedex, ISSN 0926-4981, pp. 64-65, Oct 2004 |
| PDF WWW | Mencl, V.: Specifying Component Behavior with Port State Machines, presented at Colloquium CIS-TU Berlin and Fraunhofer-ISST, Berlin (slides), Apr 2004 |
| Mencl, V.: From Textual Use Cases to Behavior Specifications, presented at Colloquium CIS-TU Berlin and Fraunhofer-ISST, Berlin (slides), Apr 2004 |
|
| Plasil, F., Mencl, V.: Getting "Whole Picture" Behavior in a Use Case Model, Presented at CS900 Colloquium seminar, Dept. of CS, University of New Hampshire, Durham, NH, U.S.A. (slides), Dec 2003 |
|
| Mencl, V.: Specifying Component Behavior with Port State Machines, Slides presented at the Compositional Verification of UML Models workshop held on Oct 21, 2003 at the UML 2003 Conference, San Francisco, CA, U.S.A., Oct 2003 |
|
| PDF WWW | Plasil, F., Mencl, V.: Getting "Whole Picture" Behavior from Use Cases, presented at Informatics Colloquium, Masaryk University, Brno (slides), Apr 2003 |
| PS.GZ | Mencl, V., Hnetynka, P.: Managing Type Information in an Evolving Environment, Week of Doctoral Students WDS 2000, Faculty of Mathematics and Physics, Jun 2000 |
| Pospisil, R., Prochazka, M., Mencl, V.: On Performance of Enterprise JavaBeans, Presented at the Objekty'99 conference, Prague, Nov 1999 |
|
| PS.GZ | Mencl, V., Petrova, Z., Plasil, F.: Update description language (position paper), Week of Doctoral Students WDS 99, Faculty of Mathematics and Physics, Jun 1999 |
| Books (coauthor/editor) | |
| 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, Jun 2007 |
| Technical reports | |
| PDF WWW WWW | de Boer, F., Mencl, V.: Preliminary Proceedings of the Third International Workshop on Formal Aspects of Component Software FACS'06, Prague, Czech Republic September 20-22, 2006, Technical Report 344, UNU-IIST, P.O.Box 3058, Macau, Sep 2006 |
| PDF WWW | Liu, Z., Mencl, V., Ravn, A. P., Yang, L.: Harnessing Theories for Tool Support, Technical Report 343, UNU-IIST, P.O.Box 3058, Macau, Aug 2006 |
| Hnetynka, P., Plasil, F., Bures, T., Mencl, V., Kapova, L.: SOFA 2.0 metamodel, Tech. Report No. 2005/11 (preliminary version), Dep. of SW Engineering, Charles University, Dec 2005 |
|
| Mencl, V.: Converting Textual Use Cases into Behavior Specifications, Tech. Report No. 2004/5, Dept. of SW Engineering, Charles University, Prague, Aug 2004 |
|
| Mencl, V.: Enhancing Component Behavior Specifications with Port State Machines, Tech. Report No. 2003/4, Dept. of SW Engineering, Charles University, Prague, Sep 2003 |
|
| Plasil, 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., Nov 2002 |
|
| Mencl, V., Adamek, J., Buble, A., Hnetynka, P., Visnovsky, S.: Enhancing EJB Component Model, Tech. Report No. 2001/7, Dep. of SW Engineering, Charles University, Prague, Dec 2001 |
|
| Mencl, V.: Managing Configuration of Update-enabled Software Components, Tech. Report No. 2001/5, Dep. of SW Engineering, Charles University, Prague, Oct 2001 |
|
| Mencl, V., Hnetynka, P.: Managing Evolution of Component Specifications using a Federation of Repositories, Tech. Report No. 2001/2, Dep. of SW Engineering, Charles University, Prague, Jun 2001 |
|
| PhD thesis | |
| PDF PDF | Mencl, V.: Use Cases: Behavior Assembly, Behavior Composition and Reasoning, Ph.D. Thesis, advisor: Frantisek Plasil, Jun 2004 |
| Master thesis | |
| PDF PS | Mencl, V.: Component Definition Language, Master Thesis, advisor: Nguyen Duy Hoa, 1998 |
